Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.nat_degree_lt_iff_degree_lt

Modification history

2022-04-22 15:16

src/data/polynomial/degree/definitions.lean

chore(data/polynomial/degree/definitions): simplify sum_fin, degree_C_le (#13564)

Added polynomial.nat_degree_lt_iff_degree_lt View on Github →