Theorem Polynomial.cyclotomic_pos_and_nonneg

Modification history

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