Theorem Ideal.isJacobson_iff_sInf_maximal

Modification history