Theorem Ideal.Quotient.factor_eq

Modification history