Commit 2023-01-02 22:12 557357da

View on Github →

feat : Port Algebra.Field.Power (#1305) Really small, no issues other than a deprecated bit1

Estimated changes

added theorem Odd.neg_one_zpow
added theorem Odd.neg_zpow
added theorem zpow_bit1_neg