Robuta

https://cs.unm.edu/~joel/NonEuclid/model.html NonEuclid: 10: Disk and Upper Half-Plane Models upper half planediskmodels