Theorem exists_orderOf_eq_prime_pow_iff

Modification history