Corollary 5
Tag 0AFK, permanent. Cite it as [Bourbaki, Tag 0AFK].
Lie Groups and Lie Algebras, chapter III, § 6. Real and complex Lie groups
Suppose that and are finite-dimensional. For and to be equivalent, it is necessary and sufficient that and be equivalent.
This is a special case of Corollary 4.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.