Theorem Ideal.Quotient.zero_eq_one_iff

Modification history