Fibred Frobenius theorem (Q1901338)

\textit{A. T. Lundell} [Proc. Am. Math. Soc. 116, No. 4, 1131-1133 (1992; Zbl 0766.58006)] gave two short proofs of the Frobenius theorem formulated as a statement on completely integrable distributions on a manifold. In this paper, the authors present the Frobenius theorem as a statement for fibred manifolds and give its proofs that is shorter than the ``short proofs'' thanks to the application of the inductive process that is not possible for the classical version of the theorem.