mathlib documentation

geometry.manifold.conformal_groupoid

Conformal Groupoid #

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

Main definitions #

Tags #

conformal, groupoid

The pregroupoid of conformal maps.

Equations

The groupoid of conformal maps.

Equations