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






leanprover-community/mathlib,leanprover-community/mathlib