Corollary

Tag 0A7A, permanent. Cite it as [Bourbaki, Tag 0A7A].

Lie Groups and Lie Algebras, chapter III, § 1. Lie groups

If K = R or C and G is connected and finite-dimensional, then G is locally connected and locally compact and its topology admits a countable base.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Nothing.