Theorem Ideal.Quotient.factor_ker

Modification history