Theorem Ideal.Quotient.factor_surjective

Modification history