Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.trailing_degree_ne_of_nat_trailing_degree_ne

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.trailing_degree_ne_of_nat_trailing_degree_ne View on Github →