diff --git a/spaces/S000107/properties/P000140.md b/spaces/S000107/properties/P000140.md new file mode 100644 index 000000000..c571158b2 --- /dev/null +++ b/spaces/S000107/properties/P000140.md @@ -0,0 +1,10 @@ +--- +space: S000107 +property: P000140 +value: false +refs: +- mo: 510109 + name: Answer to "Is the countable box product of real lines a Čech-complete space?" +--- + +See {{mo:510109}}.