Def RingHom.IsStableUnderBaseChange

Modification history