Theorem Nat.map_prime_pow_mul

Modification history