Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.nat_degree_X_pow_le

Modification history

2022-05-13 16:35

src/data/polynomial/degree/definitions.lean

feat(data/polynomial/degree/definitions): two more `nat_degree_le` lemmas (#14098) …

Added polynomial.nat_degree_X_pow_le View on Github →