Def SMulWithZero.compHom

Modification history