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

Initializing...

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