Defintion. Differential of a smooth map between manifolds [009L]

Let be a smooth map between manifolds. For a poing in and a chart around and a chart around we define the differential of at as

TODO: Show that this is well defined and independent of the choice of charts. TODO: Show the differential is functorial.