Def Equiv.ringEquiv

Modification history