Box product of real lines S107 is strongly KC (#1733)

Moniker1998 · web-flow · commit 78cd92c0102d · 2026-04-11T17:09:21.000-04:00
diff --git a/spaces/S000107/properties/P000103.md b/spaces/S000107/properties/P000103.md
@@ -0,0 +1,10 @@
+---
+space: S000107
+property: P000103
+value: true
+refs:
+- mathse: 5132370
+  name: Is the countable box product of real lines $\mathbb{R}^\omega$ Strongly KC?
+---
+
+See {{mathse:5132370}}.
