Def RestrictScalars.ringEquiv

Modification history