The three-dimensional Ball–Evans approximation problem

Resolves the three-dimensional Ball–Evans approximation problem: every $W^{1,p}$ homeomorphism between arbitrary bounded domains in ℝ³, for $1\le p\lt \infty$, is a strong $W^{1,p}$ limit of smooth diffeomorphisms onto the same target.