Commit 2024-08-29 19:52 802301fd

feat: prove that a meromorphic function is eventually analytic (#14820) Prove that a meromorphic function at a point is analytic on a punctured neighborhood of it, and that a meromorphic function on a set is analytic on a codiscrete subset of it.