mathlib3
feat(algebra/big_operators): sum_eq_zero_iff_of_nonpos
#1424

Merged

Commits

feat(algebra/big_operators): sum_eq_zero_iff_of_nonpos

ChrisHughes24 committed 6 years ago
more order_dual instances

ChrisHughes24 committed 6 years ago
Merge branch 'master' into sum_eq_zero

mergify[bot] committed 6 years ago

Loading