Def normalizedFactorsEquivOfQuotEquiv

Modification history