Mathlib v3 is deprecated. Go to Mathlib v4

Def arrow_action

Modification history

2022-06-24 01:29
src/group_theory/group_action/group.lean
chore(*): Disparate generalizations to division monoids (#14686) …
Modified arrow_actionView on Github →
2021-04-10 03:46
src/group_theory/group_action/group.lean
feat(category_theory/action): currying (#7085) …
Added arrow_actionView on Github →