Integrable distribution (source code)

= Integrable distribution
{wiki=Frobenius_theorem_(differential_topology)}

A distribution is integrable when every point lies on an immersed submanifold whose tangent spaces equal the distribution. Such submanifolds are its integral manifolds.