Frobenius theorem
The infinite-dimensional version of the Frobenius theorem also holds on Banach manifolds. The statement is essentially the same as the finite-dimensional version.