Def List.foldlIdxSpec

Modification history

2025-08-12 06:50

Mathlib/Data/List/Indexes.lean

chore: remove >6 month old deprecations (#28212)

Deleted List.foldlIdxSpec View on Github →

2023-02-11 08:36

Mathlib/Data/List/Indexes.lean

feat: port Data.List.Indexes (#1812)

Added List.foldlIdxSpec View on Github →