Mathlib v3 is deprecated. Go to Mathlib v4

Def mul_aut_arrow

Modification history

2021-09-16 13:26
src/group_theory/group_action/group.lean
feat(group_theory/group_action): add `distrib_mul_action.to_add_aut` and `mul_distrib_mul_action.to_mul_aut` (#9224) …
Modified mul_aut_arrowView on Github →
2021-04-10 03:46
src/group_theory/group_action/group.lean
feat(category_theory/action): currying (#7085) …
Added mul_aut_arrowView on Github →