Theorem exists_ordCompl_eq_one_iff_isPrimePow

Modification history