Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-02-15 23:38 c7eb6f81

View on Github →

chore(algebra/group/hom): add a missing simp lemma (#1994)

Estimated changes

added theorem monoid_hom.coe_mk