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

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