mathlib documentation

geometry.euclidean.angle.unoriented.conformal

Angles and conformal maps #

This file proves that conformal maps preserve angles.

If a real differentiable map f is conformal at a point x, then it preserves the angles at that point.