Remark
Tag 07UT, permanent. Cite it as [Bourbaki, Tag 07UT].
Topological Vector Spaces, chapter IV, § 4. Strict morphisms of Fréchet spaces
— With the notations of prop. 2, property ) also implies that is a strict morphism for the weakened topologies (II, p. 49, cor. 3).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.