Strengthen T72

pi-base · Oct 19, 2024 · ff1377d · ff1377d
1 parent 6b4195c
commit ff1377d
Showing 1 changed file with 2 additions and 8 deletions.
diff --git a/theorems/T000072.md b/theorems/T000072.md
@@ -3,12 +3,6 @@ uid: T000072
 if:
   P000040: true
 then:
-  P000013: true
-refs:
-- doi: 10.1007/978-1-4612-6290-9
-  name: Counterexamples in Topology
+  P000088: true
 ---
-
-If $X$ has no disjoint closed sets, it is normal vacuously.
-
-Asserted on page 30 of {{doi:10.1007/978-1-4612-6290-9}}.
+In an {P40} space, since any two nonempty closed sets intersect, any discrete family of closed sets can only contain one nonempty set (which is contained in the open set $X$).