De Sitter space is spatially closed with constant positive curvature; its homogeneity is group-theor...
This proposition has not been edited since the history system was added.