Theorem Ideal.Quotient.lift_surjective_of_surjective

Modification history