Gaussian curvature
曲面的单值化定理提到上半平面是所有高斯曲率為負常數之空間的萬有覆疊空間。