mathlib3

feat(analysis/analytic): first take on analytic functions

#2199

Merged