As discussed in #31249, a lazy implementation of charts or transition maps comes in handy in some situations as the number of transition maps explodes very easily.

In this ticket, we introduce a lazy implementation of transition maps that only initializes most attributes, especially the associated MultiCoordFunction and the inverse, if necessary.

CC: @tscrim @egourgoulhon @tobiasdiez @trevorkarn

Component: manifolds

Keywords: lazy, charts

Issue created by migration from https://trac.sagemath.org/ticket/33225