`BookProof.ChapterMackeyQuasiInvariant.proj_inter` (μ : Measure X) {E F : Set X} (hE : MeasurableSet E) (hF : MeasurableSet F) (f : Lp K 2 μ) : proj μ hE (proj μ hF f) = proj μ (hE

Initializing...

`BookProof.ChapterMackeyQuasiInvariant.proj_inter` (μ : Measure X) {E F : Set X} (hE : MeasurableSet E) (hF : MeasurableSet F) (f : Lp K 2 μ) : proj μ hE (proj μ hF f) = proj μ (hE · Prove2Me