`BookProof.WeylCauchyRiemann.analyticOn_of_dbar_eq_zero` {g : ℂ → ℂ} {s : Set ℂ} (hs : IsOpen s) (hg : ∀ z ∈ s, DifferentiableAt ℝ g z) (hdbar : ∀ z ∈ s, dbar g z = 0) : AnalyticOn

Initializing...

`BookProof.WeylCauchyRiemann.analyticOn_of_dbar_eq_zero` {g : ℂ → ℂ} {s : Set ℂ} (hs : IsOpen s) (hg : ∀ z ∈ s, DifferentiableAt ℝ g z) (hdbar : ∀ z ∈ s, dbar g z = 0) : AnalyticOn · Prove2Me