 Domain of the exponential map

The domain of ${\exp }_p$ is the star-shaped open setSmooth dependence for ordinary differential equations makes $(p,v)\mapsto {\exp }_p(v)$ smooth on its open domain in $TM$.