Theorem RingHom.to_isAddGroupHom

Modification history