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.

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

      The groupoid of conformal maps.

      Equations
        Instances For