`BookProof.HalfLineLimitCircle.hasCompactSupport_conj` {f : ℝ → ℂ} (hf : HasCompactSupport f) : HasCompactSupport fun x => (starRingEnd ℂ) (f x)

Initializing...

`BookProof.HalfLineLimitCircle.hasCompactSupport_conj` {f : ℝ → ℂ} (hf : HasCompactSupport f) : HasCompactSupport fun x => (starRingEnd ℂ) (f x) · Prove2Me