Theorem ZMod.orderOf_one_add_mul_prime

Modification history