diff --git a/spaces/S000025/properties/P000087.md b/spaces/S000025/properties/P000087.md
deleted file mode 100644
index 037a83bd35..0000000000
--- a/spaces/S000025/properties/P000087.md
+++ /dev/null
@@ -1,7 +0,0 @@
----
-space: S000025
-property: P000087
-value: true
----
-
-$(\mathbb R,+)$ is a topological group.
diff --git a/spaces/S000025/properties/P000238.md b/spaces/S000025/properties/P000238.md
new file mode 100644
index 0000000000..a4cb5a66b9
--- /dev/null
+++ b/spaces/S000025/properties/P000238.md
@@ -0,0 +1,7 @@
+---
+space: S000025
+property: P000238
+value: true
+---
+
+The standard addition and scalar multiplication on $\mathbb R$ are continuous, and together satisfy the axioms of a real vector space.
diff --git a/spaces/S000030/properties/P000087.md b/spaces/S000030/properties/P000087.md
deleted file mode 100644
index dfc88ad50d..0000000000
--- a/spaces/S000030/properties/P000087.md
+++ /dev/null
@@ -1,7 +0,0 @@
----
-space: S000030
-property: P000087
-value: true
----
-
-$\mathbb{R}^\omega$ is a product of topological groups, namely $\mathbb{R}$. See {S25|P87}.
diff --git a/spaces/S000030/properties/P000199.md b/spaces/S000030/properties/P000199.md
deleted file mode 100644
index 1a116d84ff..0000000000
--- a/spaces/S000030/properties/P000199.md
+++ /dev/null
@@ -1,7 +0,0 @@
----
-space: S000030
-property: P000199
-value: true
----
-
-This follows because $X$ has the structure of a topological vector space over the reals, so that there exists a straight line homotopy from the identity map to the constant map with value $0$.
diff --git a/spaces/S000030/properties/P000238.md b/spaces/S000030/properties/P000238.md
new file mode 100644
index 0000000000..bbd8ae5fa0
--- /dev/null
+++ b/spaces/S000030/properties/P000238.md
@@ -0,0 +1,7 @@
+---
+space: S000030
+property: P000238
+value: true
+---
+
+$\mathbb{R}^\omega$ is a product of topological vector spaces, namely $\mathbb{R}$. And {S25|P238}.
diff --git a/spaces/S000176/properties/P000087.md b/spaces/S000176/properties/P000087.md
deleted file mode 100644
index 03d1ea1c37..0000000000
--- a/spaces/S000176/properties/P000087.md
+++ /dev/null
@@ -1,7 +0,0 @@
----
-space: S000176
-property: P000087
-value: true
----
-
-$\mathbb{R}^2$ is a product of topological groups, namely $\mathbb{R}$. See {S25|P87}.
diff --git a/spaces/S000176/properties/P000199.md b/spaces/S000176/properties/P000199.md
deleted file mode 100644
index 9616686155..0000000000
--- a/spaces/S000176/properties/P000199.md
+++ /dev/null
@@ -1,10 +0,0 @@
----
-space: S000176
-property: P000199
-value: true
-refs:
- - mathse: 4463999
-   name: The cartesian product of contractible spaces is contractible
----
-
-This follows because {S25|P199} and a product of contractible spaces is contractible. See {{mathse:4463999}}.
diff --git a/spaces/S000176/properties/P000238.md b/spaces/S000176/properties/P000238.md
new file mode 100644
index 0000000000..1dd5075896
--- /dev/null
+++ b/spaces/S000176/properties/P000238.md
@@ -0,0 +1,7 @@
+---
+space: S000176
+property: P000238
+value: true
+---
+
+The standard addition and scalar multiplication on $\mathbb R^2$ are continuous, and together satisfy the axioms of a real vector space.