Mathlib Changelog
v4
Changelog
About
Github
Theorem
DomMulAct.smul_mulDistribActionHom_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.smul_mulDistribActionHom_apply
View on Github →