Theorem isPrimePow_def

Modification history