`BookProof.WeylCauchyRiemann.weak_cauchyRiemann_ae_eq_analytic` {f : ℂ → ℂ} {U : Set ℂ} (hU : IsOpen U) (hf : LocallyIntegrableOn f U) (hCR : WeakCauchyRiemannOn f U) : ∃ g : ℂ → ℂ

Initializing...

`BookProof.WeylCauchyRiemann.weak_cauchyRiemann_ae_eq_analytic` {f : ℂ → ℂ} {U : Set ℂ} (hU : IsOpen U) (hf : LocallyIntegrableOn f U) (hCR : WeakCauchyRiemannOn f U) : ∃ g : ℂ → ℂ · Prove2Me