Hereditary traits for Converging sequence of non-Hausdorff spaces (S000186) (#1699)

felixpernegger · web-flow · commit 20f70ff7a367 · 2026-03-26T14:32:09.000-04:00
diff --git a/spaces/S000186/properties/P000214.md b/spaces/S000186/properties/P000214.md
@@ -0,0 +1,7 @@
+---
+space: S000186
+property: P000214
+value: false
+---
+
+$X$ contains a copy of {S97} as a subspace and {S97|P214}.
