Nash homotopy spheres are standard

Abstract

We prove that the infinite family of homotopy 4-spheres constructed by Daniel Nash are all diffeomorphic to 4-sphere.