Theorem Ideal.isJacobson_iff_prime_eq

Modification history