`BookProof.WeylCauchyRiemann.dbar_mollify` {F : ℂ → ℂ} (hF : LocallyIntegrable F) {χ : ℂ → ℝ} (hχ : ContDiff ℝ ∞ χ) (hχc : HasCompactSupport χ) (z : ℂ) : dbar (mollify F...

Initializing...

`BookProof.WeylCauchyRiemann.dbar_mollify` {F : ℂ → ℂ} (hF : LocallyIntegrable F) {χ : ℂ → ℝ} (hχ : ContDiff ℝ ∞ χ) (hχc : HasCompactSupport χ) (z : ℂ) : dbar (mollify F... · Prove2Me