Remark 1
Tag 0A6B, permanent. Cite it as [Bourbaki, Tag 0A6B].
Lie Groups and Lie Algebras, chapter II, § 6. The Hausdorff series
If and commute, then for , for every homogeneous Lie polynomial of degree is zero at . Then and Proposition 3 recovers the formula
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.