Theorem IsRingHom.to_isSemiringHom

Modification history