Def RingHom.toRatAlgHom

Modification history