`BookProof.ChapterMackeyQuasiInvariant.quasiInvariant_of_invariant` {μ : Measure X} (hm : ∀ g : G, Measurable fun x : X => g • x) (hinv : ∀ g : G, (μ.map fun x : X => g • x) = μ) :

Initializing...

`BookProof.ChapterMackeyQuasiInvariant.quasiInvariant_of_invariant` {μ : Measure X} (hm : ∀ g : G, Measurable fun x : X => g • x) (hinv : ∀ g : G, (μ.map fun x : X => g • x) = μ) : · Prove2Me