A Frobenius theorem in algebraic geometry

We show that a formal Deligne–Mumford stack is formal-locally represented by a formal scheme. This is an analogue of Frobenius theorem for smooth foliations in any characteristic and without smoothness hypotheses on the ambient space.