More spaces that are locally a half-line

Author: prabau

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}.

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}.

spaces/S000158/properties/P000241.md

@@ -0,0 +1,7 @@
+---
+space: S000158
+property: P000241
+value: true
+---
+
+By inspection.

spaces/S000210/properties/P000241.md

@@ -0,0 +1,7 @@
+---
+space: S000210
+property: P000241
+value: true
+---
+
+By definition.