Def Submonoid.LocalizationWithZeroMap.toMonoidWithZeroHom

Modification history