Theorem ZMod.exists_one_add_mul_pow_prime_eq

Modification history