Corollary
Tag 079D, permanent. Cite it as [Bourbaki, Tag 079D].
Topological Vector Spaces, I, p. 13, § 2. Linear varieties in a topological vector space
Every continuous linear form on E that is not identically zero is a strict morphism of E on .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.