Theorem neg_one_zpow_eq_ite

Modification history

2025-11-26 13:56
Mathlib/Algebra/Ring/Parity.lean
chore(Data/Int/Fib): add `fib_neg` (#32107) …
Added neg_one_zpow_eq_iteView on Github →