mathlib

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

feat(analysis/calculus/times_cont_diff): multiple differentiability (#1226) * feat(analysis/calculus/times_cont_diff): multiple differentiability * style * style * style and documentation * better wording