Remark 1

Tag 07FJ, permanent. Cite it as [Bourbaki, Tag 07FJ].

Topological Vector Spaces, II, p. 36, § 5. Separation of convex sets

When $0 \in M$ , th. 1 can be stated as follows : there exists a continuous linear form in E, such that $g(x) = 0$ in $M$ and $g(x) > 0$ in $A$ (II, p. 8, prop. 4).

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

Cited by

Nothing.

Cites

II, p. 8