Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.cyclotomic_pos

Modification history

2021-12-11 21:21

src/ring_theory/polynomial/cyclotomic/eval.lean

feat(ring_theory/polynomial/cyclotomic/eval): `cyclotomic_pos` (#10482)

Added polynomial.cyclotomic_pos View on Github →