Commit 2019-09-09 21:11 228d5bad
View on Github →feat(algebra/big_operators): sum_eq_zero_iff_of_nonpos (#1424)
- feat(algebra/big_operators): sum_eq_zero_iff_of_nonpos
- more order_dual instances
feat(algebra/big_operators): sum_eq_zero_iff_of_nonpos (#1424)