Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.degree_le_mono

Modification history

2020-05-28 07:50
src/ring_theory/polynomial.lean
feat(linear_algebra/lagrange): Lagrange interpolation (#2764) …
Modified polynomial.degree_le_monoView on Github →
2019-07-03 00:58
src/ring_theory/polynomial.lean
feat(measure_theory): Define Bochner integration (#1149) …
Modified polynomial.degree_le_monoView on Github →
2019-01-30 09:49
src/ring_theory/polynomial.lean
feat(ring_theory/polynomial): hilbert basis theorem
Added polynomial.degree_le_monoView on Github →