continuousOn_arg

Mathlib.Analysis.SpecialFunctions.Complex.Arg

URI: https://scilib.ai/kg/mathlib#Complex.continuousOn_arg

English

The function arg is continuous on the slit plane.

Русский

Функция arg непрерывна на слитной плоскости.

LaTeX

$$$ \text{ContinuousOn}~\operatorname{arg}~\text{slitPlane} $$$

Lean4

@[fun_prop]
theorem continuousOn_arg : ContinuousOn arg slitPlane := fun _ h ↦ continuousAt_arg h |>.continuousWithinAt

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

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

Разделы

Аффилиация

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