I-16 in Hyperbolic Geometry in the Poincaré Disk
using soundmanbrad's tools
Information: I-16 in Hyperbolic Geometry in the Poincaré Disk