Theorem Odd.neg_one_zpow

Modification history

2023-01-02 22:12
Mathlib/Algebra/Field/Power.lean
feat : Port Algebra.Field.Power (#1305) …
Added Odd.neg_one_zpowView on Github →