15. Foliations and the Frobenius Theorem

Today we define foliations and prove the global version of the Frobenius Theorem, which has a much more succinct statement: if $ \Delta$ is an integrable distribution then $ \Delta$ is induced by a foliation.

We then finally make good on our promise to complete the outstanding proofs from the previous few lectures: the Lie Correspondence Theorem and the Quotient Manifold Theorem.