Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-06-09 07:06 45567dcc

View on Github →

chore(algebra/big_operators): add @[simp] lemma sum_eq_zero_iff (#2998)

Estimated changes

added theorem finset.sum_eq_zero_iff