Hyperbolic triangle area (source code)

= Hyperbolic triangle area

For curvature $-1$, a triangle of angles $\alpha,\beta,\gamma$ has area $\pi-\alpha-\beta-\gamma$ by Gauss--Bonnet.