Theorem Ideal.Quotient.eq_zero_iff_dvd

Modification history