Theorem normalizedFactorsEquivOfQuotEquiv_symm

Modification history