`BookProof.WeylCauchyRiemann.mollify_analyticOn` {f : ℂ → ℂ} {U : Set ℂ} (hf : LocallyIntegrableOn f U) (hCR : WeakCauchyRiemannOn f U) {c : ℂ} {R r δ : ℝ} (hδ : 0 < δ) (hr : 0 < r

Initializing...

`BookProof.WeylCauchyRiemann.mollify_analyticOn` {f : ℂ → ℂ} {U : Set ℂ} (hf : LocallyIntegrableOn f U) (hCR : WeakCauchyRiemannOn f U) {c : ℂ} {R r δ : ℝ} (hδ : 0 < δ) (hr : 0 < r · Prove2Me