Corollary 2

Tag 09FX, permanent. Cite it as [Bourbaki, Tag 09FX].

Integration, chapter VII, § 2. Quotient of a space by a group; homogeneous spaces

— For there to exist on $G/H$ a nonzero positive measure invariant under $G$ , it is necessary and sufficient that $\Delta_G$ coincide with $\Delta_H$ on $H$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Corollary 3, § 2

Cites

Nothing.