Theorem Odd.neg_one_zpow

Modification history

2026-04-28 10:12
Mathlib/Algebra/Field/Power.lean
feat(Algebra/Field/Power): weaken assumptions of Odd.neg_zpow (#37319) …
Modified Odd.neg_one_zpowView on Github →
2023-01-02 22:12
Mathlib/Algebra/Field/Power.lean
feat : Port Algebra.Field.Power (#1305) …
Added Odd.neg_one_zpowView on Github →