Adding theorem on connected strongly paracompact spaces (#1199)

pi-base · Jan 18, 2025 · be727d4 · be727d4
1 parent 87bd795
commit be727d4
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:
+- mo: 433812
+  name: A stronger version of paracompactness
+---
+
+Follows from the fact that every star-finite open cover of a connected space is countable. See {{mo:433812}}.
+