Theorem Ideal.eq_bot_of_prime

Modification history