From ac86949d483bc3662bc4e6aa88f8279b6d561a29 Mon Sep 17 00:00:00 2001
From: Steven Clontz <steven.clontz@gmail.com>
Date: Thu, 5 Dec 2024 01:12:42 -0600
Subject: [PATCH] add not-P105 (#1009)

---
 spaces/S000087/properties/P000105.md | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 spaces/S000087/properties/P000105.md

diff --git a/spaces/S000087/properties/P000105.md b/spaces/S000087/properties/P000105.md
new file mode 100644
index 0000000000..970e59aff9
--- /dev/null
+++ 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}}.