Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-02-15 09:34 8741b647

View on Github →

feat(algebra/group_power): add pow_inv and pow_abs

Estimated changes

added theorem pow_abs
added theorem pow_inv