mathlib3
840a0425 - feat(data/list/basic): Miscellaneous `fold` lemmas (#12579)

Commit

3 years ago

feat(data/list/basic): Miscellaneous `fold` lemmas (#12579)

Author

vihdzp

vihdzp

Parents

Loading