not a k-space

Moniker1998 · Moniker1998 · commit 631f5b1f5d80 · 2026-04-10T20:58:55.000+02:00
diff --git a/spaces/S000107/properties/P000140.md b/spaces/S000107/properties/P000140.md
@@ -0,0 +1,10 @@
+---
+space: S000107
+property: P000140
+value: false
+refs:
+- mo: 510109
+  name: Answer to "Is the countable box product of real lines a Čech-complete space?"
+---
+
+See {{mo:510109}}.
