theorem 692

pi-base · Jan 18, 2025 · 35d8f61 · 35d8f61
1 parent ee9acae
commit 35d8f61
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/theorems/T000692.md b/theorems/T000692.md
@@ -0,0 +1,15 @@
+---
+uid: T000692
+if:
+  and:
+  - P000036: true
+  - P000145: true
+then:
+  P000018: true
+refs:
+- mathse: 433812
+  name: A stronger version of paracompactness
+---
+
+Follows from the fact that every star-finite open cover of a connected space is countable. See {{mathse:433812}}.
+