Proposition 4

Tag 0C5V, permanent. Cite it as [Bourbaki, Tag 0C5V].

General Topology, chapter IX, § 4. Normal spaces

Every paracompact space is normal.

This is a consequence of the following lemma:

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.