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

Commit

4 years ago

feat(analysis/normed_space): Define conformal maps on inner product spaces; define the groupoid of conformal maps (#8367) Co-authored-by: justadzr <66561890+justadzr@users.noreply.github.com>

Author

justadzr

Parents

899bb5f9

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

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