fun_neg

Mathlib.Analysis.Meromorphic.Basic

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

English

If f is meromorphic on U, then the negation of f, pointwise, is meromorphic on U.

Русский

Если f мероморфна на U, то точечное отрицание f мероморфно на U.

LaTeX

$$$MeromorphicOn f U \rightarrow MeromorphicOn (z \mapsto -f(z)) U$$$

Lean4

theorem fun_neg : MeromorphicOn (fun z ↦ -f z) U := fun x hx ↦ (hf x hx).neg

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

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

Разделы

Аффилиация

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