T696

pi-base · Jan 21, 2025 · 2df5d3f · 2df5d3f
1 parent 035ca50
commit 2df5d3f
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/theorems/T000696.md b/theorems/T000696.md
@@ -0,0 +1,9 @@
+---
+uid: T000696
+if:
+  P000060: true
+then:
+  P000085: true
+---
+
+If $X$ is {P60}, the only cozero sets are $\emptyset$ and $X$, which are clopen.