From 631f5b1f5d805b8dcc5d6befded0bada050ec9e5 Mon Sep 17 00:00:00 2001
From: Moniker1998 <adamcz98333@gmail.com>
Date: Fri, 10 Apr 2026 20:58:55 +0200
Subject: [PATCH] not a k-space

---
 spaces/S000107/properties/P000140.md | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 spaces/S000107/properties/P000140.md

diff --git a/spaces/S000107/properties/P000140.md b/spaces/S000107/properties/P000140.md
new file mode 100644
index 000000000..c571158b2
--- /dev/null
+++ 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}}.