Theorem UniqueFactorizationMonoid.normalizedFactors_multiset_prod

Modification history