Def Shrink.ringEquiv

Modification history