Theorem UniqueFactorizationMonoid.count_normalizedFactors_eq

Modification history