mathlib3
a9b6b362 - chore(algebra/big_operators): add `finset.abs_prod` (#5076)

Commit

5 years ago

chore(algebra/big_operators): add `finset.abs_prod` (#5076)

Author

urkud

urkud

Parents

Loading