Mathlib Changelog
v3
Changelog
About
Github
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
Modified
src/analysis/calculus/deriv.lean
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