Def Subring.prodEquiv

Modification history