Integrability criterion for a plane distribution (source code)

= Integrability criterion for a plane distribution
{title2=$\alpha\wedge d\alpha=0$}

The <Frobenius theorem> gives the local criterion
$$
\ker\alpha\text{ is integrable}\quad\Longleftrightarrow\quad\alpha\wedge d\alpha=0.
$$