Skip to content

Commit 3f896d0

Browse files
Change "Many authors require" to "Some authors require" and remove T0
1 parent e8826db commit 3f896d0

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

properties/P000238.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ $X$ is homeomorphic to a [topological vector space](https://en.wikipedia.org/wik
1515

1616
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.
1717

18-
Many authors, such as Rudin, additionally require separation axioms like {P3}, {P2} or {P1}, though we do not.
18+
Some others require separation axioms like {P3} or {P2}, though we do not.
1919

2020
----
2121
#### Meta-properties

0 commit comments

Comments
 (0)