times_cont_diff): adding a lemma (#1358)

Commit

6 years ago

feat(analysis/calculus/times_cont_diff): adding a lemma (#1358) * feat(analysis/calculus/times_cont_diff): adding a lemma * doc * change k to \bbk

References

Author

sgouezel

Committer

mergify[bot]

Parents