The Frobenius theorem for a class of locally convex spaces (Q752415)

The author gives a sketch of proofs of the Frobenius theorem concerning the existence and unicity of solutions of the equation \(y'=f(x,y)\) in projective limits of Banach spaces and the converse to the first Lie theorem concerning the equation \(F'=v^{-1}(F)v\), where v: \(U\to Aut(X)\) and X is a projective limit of Banach spaces.