Add R_K is σ-connected and a link for non-path-connectedness

pi-base · Sep 24, 2024 · 921407d · 921407d
1 parent 0cece4b
commit 921407d
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 15 deletions.
diff --git a/spaces/S000056/properties/P000036.md b/spaces/S000056/properties/P000036.md
diff --git a/spaces/S000056/properties/P000037.md b/spaces/S000056/properties/P000037.md
@@ -3,9 +3,8 @@ space: S000056
 property: P000037
 value: false
 refs:
-- doi: 10.1007/978-1-4612-6290-9_6
- name: Counterexamples in Topology
+- mathse: 2960540
+ name: Please clarify proof that $\mathbb{R}_K$ is not path connected.
 ---
 
-Asserted in the General Reference Chart for space #64 in
-{{doi:10.1007/978-1-4612-6290-9_6}}.
+See {{mathse:2960540}}.
diff --git a/spaces/S000056/properties/P000189.md b/spaces/S000056/properties/P000189.md
@@ -0,0 +1,10 @@
+---
+space: S000056
+property: P000189
+value: true
+refs:
+- mathse: 4975686
+ name: $\sigma$-connected spaces and path-connected property
+---
+
+See discussion at {{mathse:4975686}}.