Theorem Ideal.Quotient.eq_zero_iff_mem

Modification history