add 3 properties

Author: Moniker1998

spaces/S000107/properties/P000063.md

@@ -0,0 +1,10 @@
+---
+space: S000107
+property: P000063
+value: false
+refs:
+- mo: 510052
+  name: Is the countable box product of real lines a Cech-complete space?
+---
+
+See {{mathse:510052}}.

spaces/S000107/properties/P000081.md

@@ -0,0 +1,10 @@
+---
+space: S000107
+property: P000081
+value: false
+refs:
+- mathse: 5132326
+  name: Answer to "Box topology on $\mathbb{R}^\omega$ is not Frechet-Urysohn"
+---
+
+See {{mathse:5132326}}.

spaces/S000107/properties/P000206.md

@@ -0,0 +1,7 @@
+---
+space: S000107
+property: P000206
+value: true
+---
+
+Box product of {S25}, and {S25|P206}.