Nearby Lagrangians with vanishing Maslov class are homotopy equivalent

We prove that the inclusion of every closed exact Lagrangian with vanishing Maslov class in a cotangent bundle is a homotopy equivalence. We start by adapting an idea of Fukaya-Seidel-Smith to prove that such a Lagrangian is equivalent to the zero section in the Fukaya category with integral coefficients. We then study an extension of the Fukaya category in which Lagrangians equipped with local systems of arbitrary dimension are admitted as objects, and prove that this extension is generated, in the appropriate sense, by local systems over a cotangent fibre. Whenever the cotangent bundle is simply connected, this generation statement is used to prove that every closed exact Lagrangian of vanishing Maslov index is simply connected. Finally, we borrow ideas from coarse geometry to develop a Fukaya category associated to the universal cover, allowing us to prove the result in the general case.