Def Shrink.mulEquiv

Modification history