Corollary 3
Tag 01F4, permanent. Cite it as [Bourbaki, Tag 01F4].
Lie Groups and Lie Algebras, chapter IX, § 6. Integration on compact Lie groups
Let H be a connected closed subgroup of G containing T, its Lie algebra, and the Haar measure on H of total mass 1. Let be an integrable central function on G, with values in a Banach space or in . Then the function )det(Ad) is integrable and central on H and we have
)det(Ad). (7)
Indeed, the function )det(Ad) is a central function on H whose restriction to T is the function . Thus, the corollary follows from Cor. 2 applied to G and to H.
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.