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.