Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.nth_roots_finset_zero

Modification history

2021-12-15 19:58
src/data/polynomial/ring_division.lean
chore(*): remove edge case assumptions from lemmas (#10774) …
Added polynomial.nth_roots_finset_zeroView on Github →