Theorem Nat.prod_properDivisors_prime_pow

Modification history