mathlib

1ceb4274 - feat(group_theory/group_action): add a few instances