mathlib

d30d3126 - feat(group_theory): simple lemmas for Wedderburn (#18862)

feat(group_theory): simple lemmas for Wedderburn (#18862) These lemmas are a bit disparate, but they are all useful for Wedderburn's little theorem. Co-authored-by: Eric Rodriguez <37984851+ericrbg@users.noreply.github.com>