Def RingHom.toIntAlgHom

Modification history