`BookProof.ChapterMackeyQuasiInvariant.vmap_proj` [SigmaFinite μ] (h : QuasiInvariant μ G) (hL : UnitaryCocycle μ L) (g : G) {E : Set X} (hE : MeasurableSet E) (f : Lp K 2 μ) : vma

Initializing...

`BookProof.ChapterMackeyQuasiInvariant.vmap_proj` [SigmaFinite μ] (h : QuasiInvariant μ G) (hL : UnitaryCocycle μ L) (g : G) {E : Set X} (hE : MeasurableSet E) (f : Lp K 2 μ) : vma · Prove2Me