Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.nth_roots_zero

Modification history

2020-09-30 07:56
src/data/polynomial/ring_division.lean
feat(*): preparations for roots of unity (#4322)
Added polynomial.nth_roots_zeroView on Github →