Theorem Finset.sum_pow_eq_zero_iff_of_even

Modification history

2026-08-31 10:08
Mathlib/Algebra/Order/BigOperators/Ring/Finset.lean
feat: add zero lemmas for even powers (#43161)
Added Finset.sum_pow_eq_zero_iff_of_evenView on Github →