The tangent bundle as a smooth manifold. A reference for this material is