Def idealFactorsEquivOfQuotEquiv

Modification history