Theorem Finset.sum_sq_eq_zero_iff

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_sq_eq_zero_iffView on Github →