Some basic theorems on higher dimensional non-euclidean geometry

• 关于高维非欧几何的几个基本定理