Theorem UniqueFactorizationMonoid.normalizedFactors_pow

Modification history