deriv): extended API for derivatives
#1213

Merged

feat(analysis/calculus/deriv): extended API for derivatives #1213

mergify merged 2 commits into leanprover-community:master from sgouezel:deriv_API

feat(analysis/calculus/deriv): extended API for derivatives

e7c354ae

sgouezel requested a review 6 years ago

cipher1024 assigned

avigad 6 years ago

avigad approved these changes on 2019-07-11

avigad added ready-to-merge

Merge branch 'master' into deriv_API

406221fc

mergify merged 78065861 into master 6 years ago

sgouezel deleted the deriv_API branch 6 years ago

Reviewers

avigad

Assignees

avigad

Labels

ready-to-merge

Milestone

No milestone