Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.le_nat_trailing_degree

Modification history

2022-08-29 08:18
src/data/polynomial/degree/trailing_degree.lean
feat(counterexamples/map_floor): `floor`/`ceil` are not preserved under order ring homs (#16198) …
Added polynomial.le_nat_trailing_degreeView on Github →