Theorem UniqueFactorizationMonoid.normalizedFactors_eq_of_dvd

Modification history