Def SmulZeroClass.toZeroHom

Modification history