Remark
Tag 0BPK, permanent. Cite it as [Bourbaki, Tag 0BPK].
General Topology, chapter IV, § 2. Fundamental topological properties of the real line
Theorem 2 is often referred to as the "Heine-Borel Theorem"; see the Historical Notes to Chapters II and IV.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.