Theorem isPrimePow_iff_minFac_pow_factorization_eq

Modification history