T700: door + not anticompact => almost discrete

pi-base · Feb 9, 2025 · 5b575ae · 5b575ae
1 parent 2375561
commit 5b575ae
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/theorems/T000700.md b/theorems/T000700.md
@@ -0,0 +1,14 @@
+---
+uid: T000700
+if:
+  and:
+  - P000126: true
+  - P000136: false
+then:
+  P000203: true
+refs:
+  - mathse: 4995169
+    name: Does every door space with an infinite compact set have a single non-isolated point?
+---
+
+See {{mathse:4995169}}.