Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.degree_lt_mono

Modification history

2020-05-28 07:50
src/ring_theory/polynomial.lean
feat(linear_algebra/lagrange): Lagrange interpolation (#2764) …
Added polynomial.degree_lt_monoView on Github →