Simple Homotopy Equivalence of Nearby Lagrangians
Given a closed exact Lagrangian in the cotangent bundle of a closed smooth manifold, we prove that the projection to the base is a simple homotopy equivalence.