Theorem isPrimePow_iff_card_support_factorization_eq_one

Modification history