Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.ext_iff_nat_degree_le

Modification history

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