mathlib

5773bc63 - feat(group_theory/group_action/conj_act): conjugation action of groups (#8627)

feat(group_theory/group_action/conj_act): conjugation action of groups (#8627) Co-authored-by: Chris Hughes <33847686+ChrisHughes24@users.noreply.github.com> Co-authored-by: Eric Wieser <wieser.eric@gmail.com>