times_cont_diff): adding a lemma
#1358

Merged

feat(analysis/calculus/times_cont_diff): adding a lemma #1358

mergify merged 4 commits into leanprover-community:master from sgouezel:times_cont_diff2

sgouezel requested a review 6 years ago

feat(analysis/calculus/times_cont_diff): adding a lemma

f06e1d44

doc

04548a7c

change k to \bbk

71a4cce0

sgouezel force pushed from 9fea4864 to 71a4cce0 6 years ago

PatrickMassot approved these changes on 2019-08-29

PatrickMassot added ready-to-merge

Merge branch 'master' into times_cont_diff2

bd5e75a5

mergify merged 1ff35858 into master 6 years ago

sgouezel deleted the times_cont_diff2 branch 6 years ago

Reviewers

PatrickMassot

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone