`BookProof.ChapterMackeyQuasiInvariant.mackey_inducedSystem_continuous` [SigmaFinite μ] (h : QuasiInvariant μ G) (hL : UnitaryCocycle μ L) : (∀ (g : G) (f₁ f₂ : Lp K 2 μ), vmap h h

Initializing...

`BookProof.ChapterMackeyQuasiInvariant.mackey_inducedSystem_continuous` [SigmaFinite μ] (h : QuasiInvariant μ G) (hL : UnitaryCocycle μ L) : (∀ (g : G) (f₁ f₂ : Lp K 2 μ), vmap h h · Prove2Me