Mathlib Changelog
v4
Changelog
About
Github
Theorem
SubMulAction.coe_mul
Modification history
2023-01-30 08:08
Mathlib/GroupTheory/GroupAction/SubMulAction/Pointwise.lean
feat: port GroupTheory.GroupAction.SubMulAction.Pointwise (#1893)
Added
SubMulAction.coe_mul
View on Github →