Theorem ZMod.orderOf_one_add_prime

Modification history