Theorem MonoidWithZeroHom.coe_copy

Modification history

2024-08-01 16:59
Mathlib/Algebra/GroupWithZero/Hom.lean
chore: remove unnecessary implicit arguments in MonoidWithZeroHom.coe_copy (#15248) …
Modified MonoidWithZeroHom.coe_copyView on Github →
2024-02-13 04:00
Mathlib/Algebra/Group/Hom/Defs.lean
move: Move `MonoidWithZeroHom` to its own file (#10438) …
Modified MonoidWithZeroHom.coe_copyView on Github →
2023-03-25 22:02
Mathlib/Algebra/Hom/Group.lean
feat: sync Algebra.Hom.Group (#3074)
Added MonoidWithZeroHom.coe_copyView on Github →