Add that S108 has P243 since it currently can't be inferred

JSMassmann · JSMassmann · commit a94b8878c8cb · 2026-05-28T14:29:28.000+01:00
diff --git a/spaces/S000108/properties/P000243.md b/spaces/S000108/properties/P000243.md
@@ -0,0 +1,7 @@
+---
+space: S000108
+property: P000243
+value: true
+---
+
+The set $\{\{n\}: n < \omega\}$ is a countable $\pi$-base for $\beta \omega$.
