Theorem Ideal.isJacobson_of_isIntegral'

Modification history