Corollary 1
Tag 0AF5, permanent. Cite it as [Bourbaki, Tag 0AF5].
Lie Groups and Lie Algebras, chapter III, § 6. Real and complex Lie groups
Let be a Lie group, a Lie subgroup of and . The following conditions are equivalent: (i) ; (ii) for all and sufficiently small; (iii) for all . The argument is as in , no. 4, Corollary 1 to Proposition 8.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.