Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.eq_one_of_roots_le

Modification history

2022-09-30 21:29
src/topology/algebra/polynomial.lean
feat(data/polynomial/ring_division): add bUnion_roots_finite (#16670) …
Added polynomial.eq_one_of_roots_leView on Github →