mathlib3
89bff5e7 - feat(algebra/big_operators): add product versions of some sum lemmas (#11358)

Commit

4 years ago

feat(algebra/big_operators): add product versions of some sum lemmas (#11358) and to_additive to get the old ones back

Author

alexjbest

Parents