Theorem IsPrimePow.exists_ord_compl_eq_one

Modification history