Theorem List.foldrIdxM_eq_foldrM_enum

Modification history

2024-06-08 10:13

Mathlib/Data/List/Indexes.lean

chore(Data/List): cleanup redundant type arguments (#13605)

Modified List.foldrIdxM_eq_foldrM_enum View on Github →

2023-02-11 08:36

Mathlib/Data/List/Indexes.lean

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

Added List.foldrIdxM_eq_foldrM_enum View on Github →