Lagrangian leaf
= Lagrangian leaf
{c}
A leaf of a <Lagrangian foliation> is an immersed <Lagrangian submanifold> tangent to its integrable distribution. A <prequantum line bundle> restricts to a flat connection along such a leaf, because its curvature is proportional to the <symplectic form>. Nonzero global parallel sections require trivial <holonomy> along every leaf loop.