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_groupoidView on Github →