Theorem ZMod.orderOf_one_add_mul_prime_pow

Modification history