Theorem isPrimePow_pow_iff

Modification history