hom): `monoid_with_zero_hom.to_monoid_hom_injective` and co. (#7174)

Commit

4 years ago

feat(algebra/group/hom): `monoid_with_zero_hom.to_monoid_hom_injective` and co. (#7174) This came up in #6788.

Author

benjamindavidson

Parents