Theorem Ideal.Quotient.maximal_of_isField

Modification history