mathlib3
5b369417 - feat(data/list/basic): Stronger form of `fold_fixed` (#12613)

Commit

4 years ago

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

Author

vihdzp

vihdzp

Parents

Loading