Constant +1 curvature. Isometries O(n+1). Spherical triangle excess = area. Conjugate points; diameter = π; total geodesic closed.
Constant +1 curvature. Isometries O(n+1). Spherical triangle excess = area. Conjugate points; diameter = π; total geodesic closed.