mathlib

66f30901 - feat(analysis/analytic): first take on analytic functions (#2199)

feat(analysis/analytic): first take on analytic functions (#2199) * analytic: first definitions * docstrings * cleanup * Update src/analysis/analytic/basic.lean Co-Authored-By: Johan Commelin <johan@commelin.net> * comment on polydisk of convergence * coefficient at 0 * protect sum * rename with_top.dense_coe Co-authored-by: Johan Commelin <johan@commelin.net> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>