Corollary
Tag 0BQR, permanent. Cite it as [Bourbaki, Tag 0BQR].
General Topology, chapter IV, § 4. The extended real line
The extended real line is a connected, locally connected space.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.