Theorem Ideal.Quotient.mk_eq_mk_iff_sub_mem

Modification history