Theorem: Tutorial.abs_of_ten_inv (Tutorial/Advanced/Analysis/Lecture3.lean)

State before:
i : ℕ
⊢ 0 < 10
Tactic:
linarith
State after:
no goals