mathlib3
63ee5582 - feat(algebra/big_operators): split products and sums over fin (a+b) (#13291)

Commit

3 years ago

feat(algebra/big_operators): split products and sums over fin (a+b) (#13291) Co-authored-by: Joël Riou <37772949+joelriou@users.noreply.github.com>

Author

joelriou

Parents