Suppose $G$ is a **Topological group** then classification theorem of Principal $G$ bundles says that > there is a Principal $G$ bundle $EG\rightarrow BG$ such that any principal $G$ bundle over a decent **topological space** $X$ has to be pullback of a continuous map $f:X\rightarrow BG$. Can we replace Topological group by Lie group and Topolgical space by Smooth manifold. Do we get all Principal $G$ bundles over smooth manifold in this case? Is $BG$ a smooth manifold?? In his book Fiber bundles, Dale Husemoller does not say anything (I could not see anything) about smooth version of that classification result. Now I have a doubt if that Milnor constriction $BG$ for a Lie group $G$ gives a smooth manifold or is this classification only for **topological Principal $G$ bundles**.