WikiMini

Frobenius integrability theorem