Theorem OneHom.coe_copy

Modification history

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