Let $G$ be a lie group, then it is claimed that the exponential map
$$\exp: Lie(G) \rightarrow G$$
is a smooth map. I want to know - what is the smooth structure of $Lie(G)$?
I am supposing it is identified with $T_eG$ and we show that $T_eG$ is an embedded submanifold of $TG$.