Theorem normalizedFactorsEquivOfQuotEquiv_emultiplicity_eq_emultiplicity

Modification history