Example 2
Tag 0C70, permanent. Cite it as [Bourbaki, Tag 0C70].
General Topology, chapter IX, § 5. Baire spaces
The frontier of an open or of a closed set is always nowhere dense.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.