Theorem MonoidHom.coe_copy

Modification history

2025-09-29 08:46
Mathlib/Algebra/Group/Hom/Defs.lean
feat(Algebra/Group/Hom/Defs): MonoidHom switching from MulOneClass to MulOne (#28702) …
Modified MonoidHom.coe_copyView on Github →
2023-03-25 22:02
Mathlib/Algebra/Hom/Group.lean
feat: sync Algebra.Hom.Group (#3074)
Added MonoidHom.coe_copyView on Github →