Theorem Ideal.not_isPrime_iff

Modification history