Def Ideal.quotOfMul

Modification history