`BookProof.WeylCauchyRiemann.tendsto_mollify_bump_of_continuous` {h : ℂ → ℂ} (hh : Continuous h) (z : ℂ) : Tendsto (fun n => mollify h ((bumpSeq n).normed volume) z) atTop (nhds (h

Initializing...

`BookProof.WeylCauchyRiemann.tendsto_mollify_bump_of_continuous` {h : ℂ → ℂ} (hh : Continuous h) (z : ℂ) : Tendsto (fun n => mollify h ((bumpSeq n).normed volume) z) atTop (nhds (h · Prove2Me