mathlib3

feat(algebra/big_operators): sum_eq_zero_iff_of_nonpos

#1424

Merged