Remark 3
Tag 01F7, permanent. Cite it as [Bourbaki, Tag 01F7].
Lie Groups and Lie Algebras, chapter IX, § 6. Integration on compact Lie groups
Assume that G is simply-connected. Let A be an alcove of , and the Haar measure on such that . Then the measure can also be obtained by transporting the measure sin on by
the homeomorphism §5, no. 2, Cor. 1 of Prop. 2).
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.