Why is $(X\times EG)/G\to X/G$ a fibration if $G$ acts freely on $X$?

126 Views Asked by At

Suppose that $G$ acts freely on $X$, and let $EG$ be a contractible space on which $G$ acts freely. According to many references, the projection $(X\times EG)/G\to X/G$ is a fibration.

However, I can't find a proof for this, nor construct one myself.