Corollary
Tag 0BW7, permanent. Cite it as [Bourbaki, Tag 0BW7].
General Topology, chapter VI, § 1. Real number space R^n
The space is locally compact, but is not compact if .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.