Theorem normalizedFactorsEquivOfQuotEquiv_multiplicity_eq_multiplicity

Modification history