Gamma

Mathlib.Analysis.Meromorphic.Complex

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

English

The Gamma function is meromorphic on the entire complex plane (univ).

Русский

Функция гамма мероморфна на всей комплексной плоскости (univ).

LaTeX

$$$\text{MeromorphicOn}(\Gamma, \mathbb{C})$$$

Lean4

theorem Gamma : MeromorphicOn Gamma univ :=
  MeromorphicNFOn.Gamma.meromorphicOn

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

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

Разделы

Аффилиация

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