Theorem isJacobsonRing_of_isIntegral

Modification history