mathlib3

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

#1358

Merged