Theorem Ideal.Quotient.mk_surjective

Modification history