MeromorphicOn

Mathlib.Analysis.Meromorphic.Basic

URI: https://scilib.ai/kg/mathlib#MeromorphicOn

English

MeromorphicOn f U means f is meromorphic at every point of U.

Русский

MeromorphicOn f U означает, что f мероморфна в каждой точке множества U.

LaTeX

$$$MeromorphicOn(f,U) \equiv \forall x \in U, MeromorphicAt f x$$$

Lean4

/-- Meromorphy of a function on a set. -/
def MeromorphicOn (f : 𝕜 → E) (U : Set 𝕜) : Prop :=
  ∀ x ∈ U, MeromorphicAt f x

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

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru