Definition 2
Tag 0ADA, permanent. Cite it as [Bourbaki, Tag 0ADA].
Lie Groups and Lie Algebras, chapter III, § 4. Passage from Lie algebras to Lie groups
is called the subalgebra tangent to at .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.