Analogs of a formula of Lobachevsky for angle of parallelism on the hyperbolic plane of positive curvature

From MaRDI portal