Theorem Ideal.Quotient.maximal_ideal_iff_isField_quotient

Modification history