Corollary 2
Tag 0BLM, permanent. Cite it as [Bourbaki, Tag 0BLM].
General Topology, chapter III, § 4. Groups operating properly on a topological space; compact ness in topological groups and spaces with operators
A locally compact group is connected if it is generated by each neighbourhood of the identity element.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.