Theorem IsPrimePow.exists_ordCompl_eq_one

Modification history