Theorem Ideal.isPrime_of_prime

Modification history