Theorem meromorphicAt_const

Modification history

2024-02-06 13:53
Mathlib/Analysis/Analytic/Meromorphic.lean
feat(Analysis/Analytic/Meromorphic): more API for meromorphic functions (#9621) …
Deleted meromorphicAt_constView on Github →
2024-01-10 10:28
Mathlib/Analysis/Analytic/Meromorphic.lean
feat(Analysis/Analytic): define meromorphic functions (#9590) …
Added meromorphicAt_constView on Github →