Mathlib Changelog
v4
Changelog
About
Github
Theorem
MulHom.coe_copy
Modification history
2023-03-25 22:02
Mathlib/Algebra/Hom/Group.lean
feat: sync Algebra.Hom.Group (#3074)
Added
MulHom.coe_copy
View on Github →