mathlib
61e34d5e - chore(data/list/zip): add some lemmas about zip_with3 (#17498)

Commit

3 years ago

chore(data/list/zip): add some lemmas about zip_with3 (#17498)

Author

eric-wieser

eric-wieser

Parents

Loading