Corollary

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

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

Let $E$ and $F$ be two topological vector spaces over a complete non-discrete valued division ring. If $F$ is Hausdorff and of finite dimension, then every continuous linear mapping of $E$ on $F$ is a strict morphism.

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

Cited by

Nothing.

Cites

Nothing.