Theorem Nat.primeFactors_prime_pow

Modification history