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

State before:
r : Range
i : ℕ
⊢ r.ofNth (r.nth i) = i
Tactic:
simp [nth, ofNth]
State after:
no goals