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.
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.