mathlib3
feat(analysis/calculus/darboux): IVT for derivatives
#2110
Merged

feat(analysis/calculus/darboux): IVT for derivatives #2110

mergify merged 3 commits into master from darboux
urkud
urkud feat(analysis/calculus/darboux): IVT for derivatives
fbf0c6de
cipher1024 cipher1024 assigned sgouezel sgouezel 6 years ago
sgouezel
sgouezel commented on 2020-03-09
sgouezel
sgouezel commented on 2020-03-09
urkud whitespace
73eb3728
sgouezel
sgouezel approved these changes on 2020-03-09
sgouezel sgouezel added ready-to-merge
mergify[bot] Merge branch 'master' into darboux
16485937
mergify mergify merged b39713fe into master 6 years ago
mergify mergify deleted the darboux branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
Labels
Milestone