Commit 2019-11-13 12:44 6625f663
View on Github →feat(analysis/calculus/deriv): one-dimensional derivatives (#1670)
- feat(analysis/calculus/deriv): one-dimensional derivatives
- Typos.
- Define deriv f x as fderiv 𝕜 f x 1
- Proof style.
- Fix failing proofs.