Meromorphic Functions over the Real and Complex Numbers

This file gathers results on meromorphic functions specifict to the real and complex numbers.

theorem Meromorphic.exists_meromorphicOrderAt_ne_top_iff_forall {𝕜 : Type u_1} [RCLike 𝕜] {E : Type u_2} [NormedAddCommGroup E] [NormedSpace 𝕜 E] {f : 𝕜 → E} (hf : Meromorphic f) : (∃ (u : 𝕜), meromorphicOrderAt f u ≠ ⊤) ↔ ∀ (u : 𝕜), meromorphicOrderAt f u ≠ ⊤

If f is meromorphic function on ℝ or ℂ, then there exists a point where a meromorphic function f has finite order iff f has finite order at every point.