# Commit 2021-07-21 04:59 02a56964

View on Github →feat(analysis/normed_space): Define conformal maps on inner product spaces; define the groupoid of conformal maps (#8367)

Mathlib v3 is deprecated. Go to Mathlib v4

feat(analysis/normed_space): Define conformal maps on inner product spaces; define the groupoid of conformal maps (#8367)