no goals
α : Type u_3
β : Type u_2
inst✝⁶ : UniformSpace α
inst✝⁵ : Group α
inst✝⁴ : UniformGroup α
hom : Type u_1
inst✝³ : UniformSpace β
inst✝² : Group β
inst✝¹ : UniformGroup β
inst✝ : MonoidHomClass hom α β
f : hom
hf : ContinuousAt (↑f) 1
⊢ Tendsto (↑f) (𝓝 1) (𝓝 1)
simpa using hf.tendsto