Theorem UniqueFactorizationMonoid.emultiplicity_eq_count_normalizedFactors

Modification history