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

State before:
a b : ℕ → ℝ
t u : ℝ
ha : TendsTo a t
hb : TendsTo b u
⊢ TendsTo (fun n => a n * b n) (t * u)
Tactic:
sorry
State after:
no goals