mathlib3
84751880 - feat(list/prod_monoid): add list.prod_map* lemmas

Commit

4 years ago

feat(list/prod_monoid): add list.prod_map* lemmas Update header Generalize to foldl

References

Author

EPronovost

Committer

EPronovost

Parents