Corollary 1
Tag 0BG0, permanent. Cite it as [Bourbaki, Tag 0BG0].
General Topology, chapter II, § 4. Relations between uniform spaces and compact spaces
Every subspace of a compact space is uniformizable.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.