add not-P105 (#1009)

pi-base · Dec 5, 2024 · ac86949 · ac86949
1 parent 498d500
commit ac86949
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/spaces/S000087/properties/P000105.md b/spaces/S000087/properties/P000105.md
@@ -0,0 +1,10 @@
+---
+space: S000087
+property: P000105
+value: false
+refs:
+- mathse: 5006891
+  name: Answer to "Is there a metacompact space that fails to be para-Lindelöf?"
+---
+
+Shown in {{mathse:5006891}}.