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

State before:
r : Range
i : ℕ
⊢ r.nth i ∈ r ↔ i < r.size
Tactic:
simp [mem_def, nth_lt_stop_iff_lt_size]
State after:
no goals