Def CommMon.is_comm_monoid_hom

Modification history