Theorem List.length_mapAccumr₂

Modification history

2024-09-03 09:13

Mathlib/Data/List/Defs.lean

chore: move `Init.Data.List.Lemmas` to `Data.List.Defs` (#16434)

Modified List.length_mapAccumr₂ View on Github →

2022-12-12 18:44

Mathlib/Init/Data/List/Lemmas.lean

feat: port Data.Vector from lean-core (#834) …

Added List.length_mapAccumr₂ View on Github →