Mathlib v3 is deprecated. Go to Mathlib v4

Def conformal_groupoid

Modification history

2021-07-21 04:59

src/geometry/manifold/conformal_groupoid.lean

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

Added conformal_groupoid View on Github →