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.
Comments and questions?