Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-04 19:56 76de588d

View on Github →

feat(data/polynomial): prove degree_derivative_eq

Estimated changes

Modified algebra/big_operators.lean

added theorem finset.prod_eq_single

Modified data/polynomial.lean

added theorem polynomial.degree_derivative_eq

added theorem polynomial.derivative_apply

added theorem polynomial.mem_support_derivative

added theorem polynomial.nat_degree_zero