# Commit 2024-05-13 09:51 d508ba88

View on Github →chore: Move power lemmas earlier (#12736)
Move a bunch of `pow`

lemmas from `Algebra.Group.Commute.Defs`

and `Algebra.GroupPower.Basic`

to `Algebra.Group.Defs`

and `Algebra.Group.Basic`

with little to no changes to their proofs.