`BookProof.WeylCauchyRiemann.hasCompactSupport_slice_im` {ψ : ℂ → ℂ} (hψc : HasCompactSupport ψ) (x : ℝ) : HasCompactSupport (fun t : ℝ => ψ ((x : ℂ) + t * Complex.I))

Initializing...

`BookProof.WeylCauchyRiemann.hasCompactSupport_slice_im` {ψ : ℂ → ℂ} (hψc : HasCompactSupport ψ) (x : ℝ) : HasCompactSupport (fun t : ℝ => ψ ((x : ℂ) + t * Complex.I)) · Prove2Me