Theorem Ideal.isJacobson_of_isIntegral

Modification history