times_cont_diff): multiple differentiability
#1226

Merged

feat(analysis/calculus/times_cont_diff): multiple differentiability #1226

mergify merged 6 commits into leanprover-community:master from sgouezel:times_cont_diff

feat(analysis/calculus/times_cont_diff): multiple differentiability

07177c30

style

3d26f3d9

style

70161ca4

sgouezel requested a review 6 years ago

sgouezel changed the title ~~Times cont diff~~ feat(analysis/calculus/times_cont_diff): multiple differentiability 6 years ago

avigad commented on 2019-07-18

style and documentation

c0f8b76d

better wording

a597fb03

avigad approved these changes on 2019-07-19

avigad added ready-to-merge

Merge branch 'master' into times_cont_diff

65ca7dd1

mergify merged 74754acb into master 6 years ago

sgouezel deleted the times_cont_diff branch 6 years ago

Reviewers

avigad

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone