mathlib

8f46a7f1 - Merge branch 'conj_subgroup_action' of https://github.com/leanprover-community/mathlib into conj_subgroup_action