Corollary 1

Tag 079A, permanent. Cite it as [Bourbaki, Tag 079A].

Topological Vector Spaces, I, p. 13, § 2. Linear varieties in a topological vector space

In a Hausdorff topological vector space E, over a non-discrete valued division ring K, every vector subspace D of dimension 1 is isomorphic to $K_s$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.