`BookProof.MollifierL2.tendsto_mollify_L2` {ι : Type*} {l : Filter ι} (u : E → ℂ) (hu : StronglyMeasurable u) (hu2 : MemLp u 2 μ) (ρ : ι → E → ℝ) (r : ι → ℝ) (hρ0 : ∀ i y,...

Initializing...

`BookProof.MollifierL2.tendsto_mollify_L2` {ι : Type*} {l : Filter ι} (u : E → ℂ) (hu : StronglyMeasurable u) (hu2 : MemLp u 2 μ) (ρ : ι → E → ℝ) (r : ι → ℝ) (hρ0 : ∀ i y,... · Prove2Me