uncountable extent, removed derivable P29

pi-base · Jan 11, 2025 · edcb358 · edcb358
1 parent c470566
commit edcb358
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 21 deletions.
diff --git a/spaces/S000135/properties/P000018.md b/spaces/S000135/properties/P000018.md
diff --git a/spaces/S000135/properties/P000029.md b/spaces/S000135/properties/P000029.md
diff --git a/spaces/S000135/properties/P000198.md b/spaces/S000135/properties/P000198.md
@@ -0,0 +1,12 @@
+---
+space: S000135
+property: P000198
+value: false
+refs:
+- doi: 10.1007/978-1-4612-6290-9_6
+  name: Counterexamples in Topology
+---
+
+This topology is finer than {S134},
+(cf. item #1 for space #141 in {{doi:10.1007/978-1-4612-6290-9_6}})
+and {S134|P135}.