Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-09-26 17:53 3ebee15f

View on Github →

feat(src/data/polynomial/ring_division.lean): eq_zero_of_infinite_is_root (#4280) add a lemma stating that a polynomial is zero if it has infinitely many roots.

Estimated changes