Corollary 1
Tag 07NK, permanent. Cite it as [Bourbaki, Tag 07NK].
Topological Vector Spaces, chapter III, § 3. Spaces of continuous linear mappings
— The strong dual of a bornological space is complete.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.