# Commit 2021-08-01 21:03 52a2e8b9

View on Github →chore(algebra/group/hom_instances): add monoid_hom versions of linear_map lemmas (#8461)
I mainly want the additive versions, but we may as well get the multiplicative ones too.
This also adds the missing `monoid_hom.map_div`

and some other division versions of subtraction lemmas.