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

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