All Questions

Let $G$ be a Lie group with a closed subgroup $H$, and let $M$ be a smooth $H$-manifold. I am searching for a reference where it is proved that the tangent bundle of $G \times_H M$ is isomorphic to ...