Def MulEquiv.withZero

Modification history