Theorem Ideal.isPrime_iff_bot_or_prime

Modification history