Theorem UniqueFactorizationMonoid.le_emultiplicity_iff_replicate_le_normalizedFactors

Modification history