mathlib
daf2989a - feat(algebra/big_operators): formula for product of sums to n+1 (#12042)

Commit

3 years ago

feat(algebra/big_operators): formula for product of sums to n+1 (#12042) Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>

Author

robertylewis

Parents