Theorem ZMod.exists_one_add_mul_pow_prime_pow_eq

Modification history