Theorem UniqueFactorizationMonoid.normalizedFactors_irreducible

Modification history