Corollary 1
Tag 0BPO, permanent. Cite it as [Bourbaki, Tag 0BPO].
General Topology, chapter IV, § 2. Fundamental topological properties of the real line
The real line is a connected and 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.