Theorem: Section2sheet6.tendsTo_unique (FormalisingMathematics2024/Section02reals/Sheet6.lean)

State before:
a : ℕ → ℝ
s t : ℝ
hs : TendsTo a s
ht : TendsTo a t
⊢ s = t
Tactic:
sorry
State after:
no goals