Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-11-11 10:50 02cdc33f

View on Github →

chore(algebra/group/hom): Add missing simp lemmas (#4958) These are named in the same pattern as linear_map.to_add_monoid_hom_coe

Estimated changes