Theorem Ideal.Quotient.nontrivial_of_liesOver_of_ne_top

Modification history