remove box products

felixpernegger · web-flow · commit e18460917014 · 2026-03-11T02:15:43.000+01:00
diff --git a/properties/P000233.md b/properties/P000233.md
@@ -30,5 +30,4 @@ Compare with {P42}.
 - $X$ satisfies this property iff its Kolmogorov quotient $\text{Kol}(X)$ does.
 - This property is hereditary with respect to clopen sets.
 - This property is preserved by finite products.
-- This property is preserved by box products.
 - This property is preserved by arbitrary disjoint unions.
