Theorem Ideal.prime_of_isPrime

Modification history