Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.nat_degree_lt_nat_degree

Modification history

2023-01-12 15:42
src/data/polynomial/degree/definitions.lean
feat(data/polynomial): `adjoin_root.mk_ne_zero` lemmas (#18113) …
Added polynomial.nat_degree_lt_nat_degreeView on Github →