Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-14 23:14 3d67b696

View on Github →

chore(algebra/group_power/basic): pow_abs does not need commutativity (#7178)

Estimated changes

modified theorem abs_neg_one_pow
modified theorem pow_abs