Theorem Ideal.exists_ideal_over_prime_of_isIntegral_of_isDomain

Modification history