Theorem multiplicity_normalizedFactorsEquivSpanNormalizedFactors_symm_eq_multiplicity

Modification history