`BookProof.WeylCauchyRiemann.hasCompactSupport_fderiv_apply` {ψ : ℂ → ℂ} (hψc : HasCompactSupport ψ) (v : ℂ) : HasCompactSupport (fun z : ℂ => fderiv ℝ ψ z v)

Initializing...

`BookProof.WeylCauchyRiemann.hasCompactSupport_fderiv_apply` {ψ : ℂ → ℂ} (hψc : HasCompactSupport ψ) (v : ℂ) : HasCompactSupport (fun z : ℂ => fderiv ℝ ψ z v) · Prove2Me