Theorem MulAction.IsPreprimitive.mk'

Modification history

2025-03-18 19:22
Mathlib/GroupTheory/GroupAction/Primitive.lean
chore: rename {Mul,Add}Action.mk' (#22572) …
Added MulAction.IsPreprimitive.mk'View on Github →