Update properties/P000238.md

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

Author: GeoffreySangston

properties/P000238.md

@@ -13,7 +13,7 @@ refs:
 
 $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.
+Equivalently, there exists a continuous commutative group operation $(x, y) \mapsto x + y$ on $X$, 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.
 
 Many authors, such as Rudin, additionally require separation axioms like {P3}, {P2} or {P1}, though we do not.