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

Initializing...

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