Commit 2023-03-25 22:02 a552c81a

View on Github →

feat: sync Algebra.Hom.Group (#3074)

Estimated changes

Modified Mathlib/Algebra/Hom/Group.lean

added theorem MonoidHom.coe_copy

added theorem MonoidHom.copy_eq

added theorem MonoidWithZeroHom.coe_copy

added theorem MonoidWithZeroHom.copy_eq

added theorem MulHom.coe_copy

added theorem MulHom.coe_copy_eq

added theorem OneHom.coe_copy

added theorem OneHom.coe_copy_eq