Corollary 2
Tag 0BPJ, permanent. Cite it as [Bourbaki, Tag 0BPJ].
General Topology, chapter IV, § 2. Fundamental topological properties of the real line
The real line is a locally compact space and is not compact.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.