mathlib3

0c669207 - Merge branch 'AD_uniform_convergence3' into AD_uniform_convergence_comp