add_monoid_hom.to_multiplicative

Reinterpret f : α →+ β as multiplicative α →* multiplicative β.

monoid_hom.to_additive

Reinterpret f : α →* β as additive α →+ additive β.