Theorem MeromorphicOn.eventually_codiscreteWithin_analyticAt

Modification history

2024-08-29 19:52
Mathlib/Analysis/Analytic/Meromorphic.lean
feat: prove that a meromorphic function is eventually analytic (#14820) …
Added MeromorphicOn.eventually_codiscreteWithin_analyticAtView on Github →