Theorem Ideal.exact_mulQuot_quotOfMul

Modification history