Theorem emultiplicity_normalizedFactorsEquivSpanNormalizedFactors_eq_emultiplicity

Modification history