`BookProof.WeylCauchyRiemann.hasCompactSupport_comp_realProd` {F : ℂ → ℂ} (hF : HasCompactSupport F) : HasCompactSupport (fun p : ℝ × ℝ => F ((p.1 : ℂ) + p.2 * Complex.I))

Initializing...

`BookProof.WeylCauchyRiemann.hasCompactSupport_comp_realProd` {F : ℂ → ℂ} (hF : HasCompactSupport F) : HasCompactSupport (fun p : ℝ × ℝ => F ((p.1 : ℂ) + p.2 * Complex.I)) · Prove2Me