Theorem pow_add_pow_eq_zero_iff_of_even

Modification history

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