Def MonoidWithZeroHomClass.toMonoidWithZeroHom

Modification history