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

Initializing...

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