Update properties/P000223.md

GeoffreySangston · prabau · web-flow · commit b1d076e22ce5 · 2026-04-05T23:10:36.000-04:00
Co-authored-by: Patrick Rabau &lt;70125716+prabau@users.noreply.github.com&gt;
diff --git a/properties/P000223.md b/properties/P000223.md
@@ -8,4 +8,6 @@ refs:
 
 $X$ admits a basis of open sets which are {P199}.
 
+Equivalently, for each $x \in X$, every neighborhood of $x$ contains a contractible open neighborhood of $x$.
+
 The naming of this property follows pi-base conventions. Defined in Proposition A.4 of {{zb:"1044.55001"}}. 
