mathlib

ca5c4b37 - feat(group_theory/group_action): add a few instances (#10310)

feat(group_theory/group_action): add a few instances (#10310) * regular and opposite regular actions of a group on itself are transitive; * the action of a group on an orbit is transitive.