tighten cardinality assertions

pi-base · Jan 31, 2025 · 7ce87a9 · 7ce87a9
1 parent 0c1a0a7
commit 7ce87a9
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/spaces/S000208/properties/P000175.md b/spaces/S000208/properties/P000175.md
@@ -0,0 +1,7 @@
+---
+space: S000208
+property: P000175
+value: false
+---
+
+Immediate from the definition as a topology on a four-point set.
diff --git a/spaces/S000208/properties/P000078.md → spaces/S000208/properties/P000176.md b/spaces/S000208/properties/P000078.md → spaces/S000208/properties/P000176.md
@@ -1,6 +1,6 @@
 ---
 space: S000208
-property: P000078
+property: P000176
 value: true
 ---