Theorem exists_ord_compl_eq_one_iff_isPrimePow

Modification history