Update properties/P000238.md

Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com>

Author: GeoffreySangston

properties/P000238.md

@@ -11,7 +11,7 @@ refs:
     name: Functional analysis. 2nd ed. (W. Rudin)
 ---
 
-$X$ is homeomorphic to a real topological vector space (TVS).
+$X$ is homeomorphic to a topological vector space (TVS) over $\mathbb R$.
 
 Equivalently, there exists a continuous commutative group operation $(x, y) \mapsto x + y$, and a continuous scalar multiplication operation $\mathbb{R} \times X \to X$, $(\lambda, x) \mapsto \lambda x$, where $\mathbb{R}$ has the Euclidean topology, such that these operations together satisfy the axioms of a real vector space.