Corollary 5

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

Topological Vector Spaces, chapter III, § 4. The Banach-Steinhaus theorem

— The strong dual and the weak dual of a barrelled space are quasi-complete.

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

Cited by

Nothing.

Nothing.