Theorem Ideal.quotientMap_surjective

Modification history