Was reading about Lie Groups. This texts asserts that the left action $h \to gh$ is a group homomorphism. I don't see this (already checked $\phi(fg) \neq \phi(f)\phi(g)$)
It also asserts that the canonical maps give rise to the "canonical" isomorphisms on the tangent spaces. This should be obvious, but why?