Novikov's compact leaf theorem (source code)

= Novikov's compact leaf theorem
{wiki=Novikov's_compact_leaf_theorem}

Novikov's Compact Leaf Theorem is a result in the field of differential topology, particularly in the study of foliations on smooth manifolds. It addresses the existence of compact leaves in a certain class of foliations, which are decompositions of a manifold into disjoint submanifolds called leaves.