Mathlib Changelog
v4
Changelog
About
Github
Theorem
DomMulAct.mk_smul_mulActionHom_apply
Modification history
2023-06-29 07:18
Mathlib/GroupTheory/GroupAction/DomAct/ActionHom.lean
feat: actions of `DomMulAct` on `A →[N] B` and `A →+[N] B` (#5378) …
Added
DomMulAct.mk_smul_mulActionHom_apply
View on Github →