chore(group_theory/group_action):  cleanup (#7045)
chore(group_theory/group_action):  cleanup (#7045)

Clean up stabilizers and add a missing simp lemma.





leanprover-community/mathlib,leanprover-community/mathlib