`BookProof.ChapterMackeyQuasiInvariant.proj_empty` (μ : Measure X) (f : Lp K 2 μ) : proj μ MeasurableSet.empty f = 0

Initializing...

`BookProof.ChapterMackeyQuasiInvariant.proj_empty` (μ : Measure X) (f : Lp K 2 μ) : proj μ MeasurableSet.empty f = 0 · Prove2Me