Theorem UniqueFactorizationMonoid.multiplicative_prime_power

Modification history