Theorem Odd.neg_zpow

Modification history

2023-01-19 07:45

Mathlib/Algebra/Field/Power.lean

chore: format `by` line breaks (#1523) …

Modified Odd.neg_zpow View on Github →

2023-01-02 22:12

Mathlib/Algebra/Field/Power.lean

feat : Port Algebra.Field.Power (#1305) …

Added Odd.neg_zpow View on Github →