Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-04 10:43 eb20fd05

View on Github →

feat(data/polynomial): derivative on polynomials

Estimated changes

Modified data/polynomial.lean

added def polynomial.derivative

added theorem polynomial.derivative_C

added theorem polynomial.derivative_X

added theorem polynomial.derivative_add

added theorem polynomial.derivative_monomial

added theorem polynomial.derivative_mul

added theorem polynomial.derivative_one

added theorem polynomial.derivative_sum

added theorem polynomial.derivative_zero

added theorem polynomial.sum_C_mul_X_eq