Theorem List.getElem_succ_scanl

Modification history

2024-09-08 23:21
Mathlib/Data/List/Basic.lean
chore(List/Basic): add `getElem` lemmas (#16082) …
Added List.getElem_succ_scanlView on Github →