Def RingHom.inverse

Modification history