`BookProof.MollifierL2.tendsto_translate_cc` {p : ℝ≥0∞} (hp0 : p ≠ 0) (hp : p ≠ ⊤) {g : E → F} (hg : Continuous g) (hcs : HasCompactSupport g) : Tendsto (fun a : E => eLpNorm (fun

Initializing...

`BookProof.MollifierL2.tendsto_translate_cc` {p : ℝ≥0∞} (hp0 : p ≠ 0) (hp : p ≠ ⊤) {g : E → F} (hg : Continuous g) (hcs : HasCompactSupport g) : Tendsto (fun a : E => eLpNorm (fun · Prove2Me