Theorem Ideal.exists_isPrime_liesOver_of_faithfullyFlat

Modification history