Mathlib v3 is deprecated. Go to Mathlib v4

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 = ⊤.

Estimated changes