continuity
n : ℕ
A a b c d u x y t σ' : ℝ
ψ✝ Ψ : ℝ → ℂ
F G : ℂ → ℂ
f : ℕ → ℂ
𝕜 : Type
inst✝ : _root_.RCLike 𝕜
ψ : CS 2 ℂ
l1 : HasCompactSupport fun u => ↑(1 + u ^ 2) * ψ.toFun u
this : Continuous ψ.toFun
⊢ Continuous fun u => ↑(1 + u ^ 2) * ψ.toFun u
no goals