Mathlib v3 is deprecated. Go to Mathlib v4

Def list.foldl_with_index

Modification history

2023-03-03 19:01

src/data/list/defs.lean

chore(logic/equiv/basic): Generalize Type to Sort (#18543) …

Modified list.foldl_with_index View on Github →

2020-08-07 18:26

src/data/list/defs.lean

feat(data/list/*): add indexed versions of some list functions (#2191) …

Added list.foldl_with_index View on Github →