Theorem Nat.factoredNumbers.map_prime_pow_mul

Modification history