Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-12 21:08 5b369417

View on Github →

feat(data/list/basic): Stronger form of fold_fixed (#12613)

Estimated changes

added theorem list.foldl_fixed'
modified theorem list.foldl_fixed
added theorem list.foldr_fixed'
modified theorem list.foldr_fixed