mono_set

Mathlib.Analysis.Meromorphic.Basic

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

English

If MeromorphicOn f U, then MeromorphicOn f V for any V ⊆ U.

Русский

Если f мероморфна на U, то мероморфна и на любом V ⊆ U.

LaTeX

$$$MeromorphicOn f U \rightarrow (V \subseteq U) \rightarrow MeromorphicOn f V$$$

Lean4

theorem mono_set {V : Set 𝕜} (hv : V ⊆ U) : MeromorphicOn f V := fun x hx ↦ hf x (hv hx)

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

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

Разделы

Аффилиация

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