The quotient manifold says that if a Lie group $G$ acts smoothly, freely and properly on a smooth manifold, then the quotient space is again a smooth manifold with natural topology.
All of the proofs seem complicated and I could not get much insight on the proofs. Though I can check everything. But it does not help much to understand what's going on. Can anyone tell me some natural route to the proof?