Theorem MulAction.mk'

Modification history

2025-03-18 19:22
Mathlib/GroupTheory/GroupAction/Primitive.lean
chore: rename {Mul,Add}Action.mk' (#22572) …
Deleted MulAction.mk'View on Github →
2025-02-04 20:48
Mathlib/GroupTheory/GroupAction/Primitive.lean
feat: primitive group actions (#12052) …
Added MulAction.mk'View on Github →