Theorem Ideal.exists_le_prime_disjoint

Modification history