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

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

* doc

* change k to \bbk

leanprover-community/mathlib,leanprover-community/mathlib