Theorem Polynomial.cyclotomic_eval_lt_add_one_pow_totient

Modification history