mathlib

2660d16d - feat(group_theory/group_action/basic): Right action of normalizer on left cosets (#12822)