Theorem List.mapAccumr_eq_foldr

Modification history

2024-04-14 10:41

Mathlib/Data/List/Lemmas.lean

chore: remove autoImplicit from more files (#11798) …

Modified List.mapAccumr_eq_foldr View on Github →

2023-06-24 17:10

Mathlib/Data/List/Lemmas.lean

feat: relate List.mapAccumr to List.foldr (#5390) …

Added List.mapAccumr_eq_foldr View on Github →