`BookProof.RadialMollifier.integral_moll_eq_self_of_analytic` {h : ℂ → ℂ} {s : Set ℂ} (hs : IsOpen s) (hh : DifferentiableOn ℂ h s) (hcont : Continuous h) {δ : ℝ} (hδ : 0 < δ) {z :

Initializing...

`BookProof.RadialMollifier.integral_moll_eq_self_of_analytic` {h : ℂ → ℂ} {s : Set ℂ} (hs : IsOpen s) (hh : DifferentiableOn ℂ h s) (hcont : Continuous h) {δ : ℝ} (hδ : 0 < δ) {z : · Prove2Me