Theorem Nat.prod_divisors_prime_pow

Modification history