Plane distribution (source code)

= Plane distribution

A plane distribution on a three-manifold is a rank-two <distribution>. Locally it is the kernel of a nowhere-zero <differential 1-form> $\alpha$.