Theorem UniqueFactorizationMonoid.factors_pow

Modification history