Theorem ZMod.orderOf_one_add_four_mul

Modification history