Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-21 12:09 c30131fb

View on Github →

feat(data/polynomial/{derivative, iterated_deriv}): reduce assumptions (#13368)

Estimated changes

Modified src/data/polynomial/derivative.lean

deleted theorem polynomial.derivative_C_mul

modified theorem polynomial.derivative_smul

modified theorem polynomial.iterate_derivative_smul

Modified src/data/polynomial/iterated_deriv.lean

modified theorem polynomial.iterated_deriv_smul