Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-28 06:13 80d02347

View on Github →

fix(algebra/group_power): put opposite lemmas in the right namespace (#8100)

Estimated changes

added theorem opposite.op_pow
added theorem opposite.unop_pow
deleted theorem units.op_pow
deleted theorem units.unop_pow