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}}.