$X_G$ is a CW complex

91 Views Asked by At

I know the following result:

If $X$ is a compact smooth manifold and $G$ is a compact Lie group which acts smoothly on $X$, then $X_G = (X\times EG)/G$ is a CW complex.

I don't know how to prove this result. Where can I find the proof? Thank you!