Theorem OneHom.coe_copy_eq

Modification history

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