Example
Tag 0BA1, permanent. Cite it as [Bourbaki, Tag 0BA1].
General Topology, chapter I, § 10. Proper mappings
Every constant mapping into a Hausdorff space is closed. But it is the constant mapping , then is the mapping of into , so it is the second projection and is not closed (§ 4, no. 2, Remark 1).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.