Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-09 07:32 3e10324f

View on Github →

feat(data/polynomial/taylor): Taylor expansion of polynomials (#9000)

Estimated changes

Modified src/data/polynomial/hasse_deriv.lean

Created src/data/polynomial/taylor.lean

added theorem polynomial.eq_zero_of_hasse_deriv_eq_zero

added def polynomial.taylor

added theorem polynomial.taylor_C

added theorem polynomial.taylor_X

added theorem polynomial.taylor_apply

added theorem polynomial.taylor_coeff

added theorem polynomial.taylor_coeff_one

added theorem polynomial.taylor_coeff_zero

added theorem polynomial.taylor_eval

added theorem polynomial.taylor_eval_sub

added theorem polynomial.taylor_injective

added theorem polynomial.taylor_one