mathlib
45567dcc - chore(algebra/big_operators): add `@[simp] lemma sum_eq_zero_iff` (#2998)

Commit

5 years ago

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

Author

urkud

urkud

Parents

Loading