`BookProof.WeylCauchyRiemann.integral_dbar_eq_zero` {ψ : ℂ → ℂ} (hψ : ContDiff ℝ ∞ ψ) (hψc : HasCompactSupport ψ) : ∫ z : ℂ, dbar ψ z = 0

Initializing...

`BookProof.WeylCauchyRiemann.integral_dbar_eq_zero` {ψ : ℂ → ℂ} (hψ : ContDiff ℝ ∞ ψ) (hψc : HasCompactSupport ψ) : ∫ z : ℂ, dbar ψ z = 0 · Prove2Me