Theorem RingHom.to_isSemiringHom

Modification history