`BookProof.WeylCauchyRiemann.exists_analyticOn_ae_eq_ball` {f : ℂ → ℂ} {U : Set ℂ} (hf : LocallyIntegrableOn f U) (hCR : WeakCauchyRiemannOn f U) {c : ℂ} {R : ℝ} (hR : 0 < R) (hKU

Initializing...

`BookProof.WeylCauchyRiemann.exists_analyticOn_ae_eq_ball` {f : ℂ → ℂ} {U : Set ℂ} (hf : LocallyIntegrableOn f U) (hCR : WeakCauchyRiemannOn f U) {c : ℂ} {R : ℝ} (hR : 0 < R) (hKU · Prove2Me