Definition 1
Tag 07MA, permanent. Cite it as [Bourbaki, Tag 07MA].
Topological Vector Spaces, III, p. 12, § 2. Bornological spaces
A locally convex space is said to be bornological if it satisfies the equivalent conditions of prop. 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.