Def smulAddHom

Modification history