Theorem IsRingHom.to_isAddGroupHom

Modification history