Theorem Polynomial.cyclotomic_eval_le_add_one_pow_totient

Modification history

2023-06-16 17:18
Mathlib/RingTheory/Polynomial/Cyclotomic/Eval.lean
feat: port RingTheory.Polynomial.Cyclotomic.Eval (#5144)
Added Polynomial.cyclotomic_eval_le_add_one_pow_totientView on Github →