chore(algebra/group_power/lemmas): minimize imports (#10246)
chore(algebra/group_power/lemmas): minimize imports (#10246)

Most of these were imported transitively anyway, but `data.list.basic` is unneeded.

Co-authored-by: Johan Commelin <759412786bc533369b22377bf83fb9056c5b25b2@commelin.net>





leanprover-community/mathlib,leanprover-community/mathlib