mathlib3
feat(group_theory/group_action/subgroup): Conjugation action on subgroups of a group
#8592
Open
Open