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

Initializing...

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