conformalAt

Mathlib.Analysis.Calculus.Conformal.NormedSpace

URI: https://scilib.ai/kg/mathlib#Conformal.conformalAt

English

If f is conformal at x, then c • f is conformal at x (with a fixed nonzero c).

Русский

Если f конформна в x, то c • f конформна в x при ненулевом c.

LaTeX

$$$\\operatorname{ConformalAt}(c \\cdot f, x) \\leftarrow \\operatorname{ConformalAt}(f, x)$$$

Lean4

theorem conformalAt {f : X → Y} (h : Conformal f) (x : X) : ConformalAt f x :=
  h x

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

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

Разделы

Аффилиация

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