hom): Add missing simp lemmas (#4958)

Commit

5 years ago

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

Author

eric-wieser

Parents