conformalGroupoid — Mathlib

English

The conformal maps between open subsets of X organize into a groupoid with composition and identities.

Русский

Конформальные отображения между открытыми подмножествами X образуют группоиду с операцией композиции и единицами.

LaTeX

$$$\text{ConformalGroupoid}(X) = \text{structureGroupoid}(X)\text{ of conformal maps}$$$

Lean4

/-- The groupoid of conformal maps. -/
def conformalGroupoid : StructureGroupoid X :=
  conformalPregroupoid.groupoid

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