Theorem UniqueFactorizationMonoid.le_multiplicity_iff_replicate_le_normalizedFactors

Modification history