Theorem neg_one_pow_eq_neg_one_iff_odd

Modification history

2025-04-19 15:55
Mathlib/Algebra/Ring/Parity.lean
feat: `(-1) ^ m = (-1) ^ n` (#24160) …
Added neg_one_pow_eq_neg_one_iff_oddView on Github →