Theorem: LeanColls.Range.nth_ge_start (LeanColls/Data/Range.lean)

State before:
r : Range
i : ℕ
⊢ r.nth i ≥ r.start
Tactic:
simp [nth]
State after:
no goals