Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-16 18:56 40d2602e

View on Github →

chore(analysis/calculus/deriv): weaker assumptions for deriv_mul_const (#8704)

Estimated changes

added theorem deriv_add_const'
added theorem deriv_const_add'
added theorem deriv_const_mul'
modified theorem deriv_const_mul
modified theorem deriv_div_const
modified theorem deriv_id''
modified theorem deriv_id'
added theorem deriv_mul_const'
modified theorem deriv_mul_const