Conformal Groupoid #
In this file we define the groupoid of conformal maps on normed spaces.
Main definitions #
conformalGroupoid
: the groupoid of conformal local homeomorphisms.
Tags #
conformal, groupoid
The pregroupoid of conformal maps.
Instances For
The groupoid of conformal maps.