Theorem MonoidHom.copy_eq

Modification history

2023-03-25 22:02
Mathlib/Algebra/Hom/Group.lean
feat: sync Algebra.Hom.Group (#3074)
Added MonoidHom.copy_eqView on Github →