Theorem Ideal.isPrime_iff

Modification history