Def RingHom.restrict

Modification history