Theorem Odd.pow_add_pow_eq_zero

Modification history

2024-05-15 09:43
Mathlib/Algebra/Parity.lean
move(Algebra/Parity): Split file (#12829) …
Modified Odd.pow_add_pow_eq_zeroView on Github →
2024-04-20 17:51
Mathlib/Algebra/Parity.lean
feat: Generalise sign of power lemmas (#12289)
Added Odd.pow_add_pow_eq_zeroView on Github →