More spaces that are locally a half-line (#1765)

prabau · web-flow · commit 93bea9fec5ee · 2026-04-30T22:50:24.000-04:00
diff --git a/spaces/S000038/properties/P000082.md b/spaces/S000038/properties/P000082.md
diff --git a/spaces/S000038/properties/P000241.md b/spaces/S000038/properties/P000241.md
@@ -0,0 +1,9 @@
+---
+space: S000038
+property: P000241
+value: true
+---
+
+Let $p=(0,0)\in X$.
+Given a point $x\in X$, choose some $q>x$.
+The interval $[p,q)$ is a neighborhood of $x$ that is homeomorphic to {S210}.
diff --git a/spaces/S000158/README.md b/spaces/S000158/README.md
@@ -6,4 +6,4 @@ refs:
     name: General Topology (Willard)
 ---
 
-The subspace $I=[0,1]=\{t\in \mathbb R : 0\leq t \leq 1\}$ of {S25} $\mathbb{R}$.
+The subspace $I=[0,1]=\{t\in \mathbb R : 0\leq t \leq 1\}$ of {S25}.
diff --git a/spaces/S000158/properties/P000241.md b/spaces/S000158/properties/P000241.md
@@ -0,0 +1,7 @@
+---
+space: S000158
+property: P000241
+value: true
+---
+
+By inspection.
diff --git a/spaces/S000210/properties/P000241.md b/spaces/S000210/properties/P000241.md
@@ -0,0 +1,7 @@
+---
+space: S000210
+property: P000241
+value: true
+---
+
+By definition.
