Def add_monoid_hom.map_zero

Modification history