Def Shrink.algEquiv

Modification history