mathlib

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