`BookProof.WeylCauchyRiemann.dbar_mul` {a b : ℂ → ℂ} {z : ℂ} (ha : DifferentiableAt ℝ a z) (hb : DifferentiableAt ℝ b z) : dbar (fun w => a w * b w) z = dbar a z * b z + a z * dbar

Initializing...

`BookProof.WeylCauchyRiemann.dbar_mul` {a b : ℂ → ℂ} {z : ℂ} (ha : DifferentiableAt ℝ a z) (hb : DifferentiableAt ℝ b z) : dbar (fun w => a w * b w) z = dbar a z * b z + a z * dbar · Prove2Me