Theorem: Section2sheet3.tendsTo_add_const (FormalisingMathematics2024/Section02reals/Sheet3.lean)

State before:
a : ℕ → ℝ
t c : ℝ
h : TendsTo a t
⊢ TendsTo (fun n => a n + c) (t + c)
Tactic:
sorry
State after:
no goals