Theorem orderOf_eq_prime_pow

Modification history