Theorem List.foldr_rec_on_cons

Modification history

2023-01-09 05:10
Mathlib/Data/List/Basic.lean
chore: fix some names in `Data.List.Basic` (#1421)
Deleted List.foldr_rec_on_consView on Github →
2023-01-05 14:40
Mathlib/Data/List/Basic.lean
feat port: Data.List.Basic (#966) …
Added List.foldr_rec_on_consView on Github →