add_monoid_hom.range source