Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.le_trailing_degree_of_ne_zero

Modification history

2020-09-22 11:28

src/data/polynomial/degree/trailing_degree.lean

feat(data/polynomial/degree/trailing_degree): basic definitions and properties (#4113) …

Added polynomial.le_trailing_degree_of_ne_zero View on Github →