Theorem UniqueFactorizationMonoid.factors_eq_normalizedFactors

Modification history