Def RingHom.toNatAlgHom

Modification history