Theorem Ideal.quotOfMul_surjective

Modification history