MeromorphicNFOn — Mathlib

English

MeromorphicNFOn is the property that f is meromorphic in normal form at every point of U.

Русский

MeromorphicNFOn есть свойство: f мероморфна в нормальной форме во всех точках U.

LaTeX

$$$MeromorphicNFOn\ f\ U$$$

Lean4

/-- A function is 'meromorphic in normal form' on `U` if has normal form at every
point of `U`.
-/
def MeromorphicNFOn (f : 𝕜 → E) (U : Set 𝕜) :=
  ∀ ⦃z⦄, z ∈ U → MeromorphicNFAt f z

Похожие утверждения