Def ModuleCat.restrictScalarsEquivalenceOfRingEquiv

Modification history