Corollary
Tag 09CV, permanent. Cite it as [Bourbaki, Tag 09CV].
Integration, chapter VI, Appendix 0. Complements on topological vector spaces
— Every quotient space of a locally convex space having the property (GDF) has the property (GDF).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.