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)
feat(analysis/normed_space): Define conformal maps on inner product spaces; define the groupoid of conformal maps (#8367)