`BookProof.MollifierL2.eLpNorm_translate` {p : ℝ≥0∞} {f : E → F} (hf : AEStronglyMeasurable f μ) (a : E) : eLpNorm (fun x => f (x

Initializing...

`BookProof.MollifierL2.eLpNorm_translate` {p : ℝ≥0∞} {f : E → F} (hf : AEStronglyMeasurable f μ) (a : E) : eLpNorm (fun x => f (x - a)) p μ = eLpNorm f p μ · Prove2Me