Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
mul_hom.coe_coe
Modification history
2022-09-30 13:10
src/algebra/hom/group.lean
feat(algebra/hom/group): `simp` lemmas for applying generic morphism coercions (#16700) …
Added
mul_hom.coe_coe
View on Github →