Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mul_hom.mul_comp

Modification history

2022-04-01 07:06
src/algebra/hom/group.lean
chore(algebra/*): generalisation linter (#13099)
Modified mul_hom.mul_compView on Github →
2022-02-22 22:49
src/algebra/group/hom.lean
feat(algebra/group/{hom,prod}): has_mul and mul_hom.prod (#12110) …
Added mul_hom.mul_compView on Github →