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

Initializing...

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