Def Shrink.linearEquiv

Modification history