Manifolds_with_constant_sectional_curvature loading ...