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

Initializing...

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