feat(group_theory/group_action): orbit_equiv_quotient_stabilizer_symm_apply and docs (#2864)
feat(group_theory/group_action): orbit_equiv_quotient_stabilizer_symm_apply and docs (#2864)





leanprover-community/mathlib,leanprover-community/mathlib