Theorem neg_one_pow_congr

Modification history

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