mathlib3

7138d354 - feat(category_theory/action): currying (#7085)

feat(category_theory/action): currying (#7085) A functor from an action category can be 'curried' to an ordinary group homomorphism. Also defines transitive group actions.