mathlib3
feat(analysis/analytic): first take on analytic functions
#2199

Merged

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

mergify merged 12 commits into master from analytic

analytic: first definitions

59bb9f5c

docstrings

821dee18

cleanup

45a4d764

jcommelin commented on 2020-03-20

Update src/analysis/analytic/basic.lean

85b6b73d

cipher1024 assigned

jcommelin 5 years ago

urkud commented on 2020-03-20

jcommelin unassigned

jcommelin 5 years ago

jcommelin assigned

urkud 5 years ago

jcommelin assigned

PatrickMassot 5 years ago

Merge remote-tracking branch 'upstream/master' into analytic

3820a1fd

comment on polydisk of convergence

4a5c5527

Merge branch 'analytic' of https://github.com/leanprover-community/ma…

fa72a0a3

robertylewis added awaiting-review

coefficient at 0

ad561931

urkud commented on 2020-03-29

protect sum

3d2ed5df

rename with_top.dense_coe

41fdc6e6

urkud approved these changes on 2020-03-30

urkud removed awaiting-review

urkud added ready-to-merge

Merge branch 'master' into analytic

621158ba

Merge branch 'master' into analytic

5af780d6

mergify merged 66f30901 into master 5 years ago

robertylewis deleted the analytic branch 5 years ago

Reviewers

urkud

jcommelin

Assignees

urkud

PatrickMassot

Labels

ready-to-merge

Milestone

No milestone

mathlib3 feat(analysis/analytic): first take on analytic functions #2199 Merged

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

mathlib3
feat(analysis/analytic): first take on analytic functions
#2199

Merged