Theorem isPrimePow_iff_unique_prime_dvd

Modification history