Theorem UniqueFactorizationMonoid.multiplicity_eq_count_normalizedFactors

Modification history