Commit 2021-01-22 12:52 cb618e01
View on Github →feat(analysis/analytic): a continuous linear map defines an analytic function (#5840)
Also add convenience lemmas with conclusion radius = ⊤
.
feat(analysis/analytic): a continuous linear map defines an analytic function (#5840)
Also add convenience lemmas with conclusion radius = ⊤
.