Theorem Ideal.Quotient.zero_ne_one_iff

Modification history