Def Ideal.mulQuot

Modification history