Def RingHom.fromOpposite

Modification history