proof of P43

pi-base · Jan 11, 2025 · 433b968 · 433b968
1 parent e0738e7
commit 433b968
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/spaces/S000135/properties/P000043.md b/spaces/S000135/properties/P000043.md
@@ -7,5 +7,4 @@ refs:
   name: Counterexamples in Topology
 ---
 
-Asserted in the General Reference Chart for space #141 in
-{{doi:10.1007/978-1-4612-6290-9_6}}.
+Basic neighbourhood is either a Euclidean segment or union of a family of such segments with nonepty intersection.