poincare_metric): new file (#14703)

Commit

3 years ago

feat(analysis/complex/poincare_metric): new file (#14703) Introduce a `metric_space` structure on the upper half plane.

Author

urkud

Parents