Commit 2020-03-31 05:47 66f30901
View on Github →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