Documentation

Mathlib.Geometry.Manifold.ConformalGroupoid

Conformal Groupoid #

In this file we define the groupoid of conformal maps on normed spaces.

Main definitions #

Tags #

conformal, groupoid

source
def conformalPregroupoid {X : Type u_1} [NormedAddCommGroup X] [NormedSpace ℝ X] :
Pregroupoid X

The pregroupoid of conformal maps.

Instances For
    source
    def conformalGroupoid {X : Type u_1} [NormedAddCommGroup X] [NormedSpace ℝ X] :
    StructureGroupoid X

    The groupoid of conformal maps.

    Instances For