mean_value): the mean value inequality
#1212

Merged

feat(analysis/calculus/mean_value): the mean value inequality #1212

mergify merged 3 commits into leanprover-community:master from sgouezel:mean_value

feat(analysis/calculus/mean_value): the mean value inequality

aefaa45e

sgouezel requested a review 7 years ago

cipher1024 assigned

avigad 7 years ago

avigad commented on 2019-07-11

remove blank lines

b1e95e04

avigad approved these changes on 2019-07-12

avigad added ready-to-merge

Merge branch 'master' into mean_value

4cb2909c

mergify merged 3d36966e into master 7 years ago

sgouezel deleted the mean_value branch 6 years ago

Reviewers

avigad

Assignees

avigad

Labels

ready-to-merge

Milestone

No milestone