Hyperbolic geometry models
The Hyperboloid model and Poincare disk model are equivalent and I am looking for geometric proof of this fact (or geometric intuition behind it?). In this book, the proof of Theorem 5.32, it is showed by explicitly chasing how the metric changes under the transformation between those models.
Is there more geometric proof of it? Any references?