Remark. Vector space of vectorfields [009T]

The smooth vectorfields on a given manifold form a vectorspace. We denote it by

TODO: Show that this is indeed a vectorspace.