Theorem Ideal.Quotient.nontrivial_of_liesOver_of_isPrime

Modification history