P
Initializing...
Lemma 3.2 — the hyperbolic triangle with angles $\pi/2,\theta,\theta$ · Prove2Me