Theorem: SequentialLimit.add (LeanCourse/Lectures/Lecture5.lean)

State before:
s t : ℕ → ℝ
a b : ℝ
hs : SequentialLimit s a
ht : SequentialLimit t b
⊢ SequentialLimit (fun n => s n + t n) (a + b)
Tactic:
sorry
State after:
no goals