SageManifold example broken in SageMath 7.3
The example SM_sphere_S2 breaks when it gets to section 'Tangent Spaces', thus:
AttributeError: 'DifferentiableManifold_with_category' object has no attribute 'tangent_space'.
referring to the manifold S2.
Why would a differentiable manifold not have a tangent space? or does the example need to be modified?