  We study the regularity properties of the inverse of a bilipschitz mapping
$f$ belonging $W^m X_{\text{loc}}$, where $X$ is an arbitrary Banach function
space. Namely, we prove that the inverse mapping $f^{-1}$ is also in $W^m
X_{\text{loc}}$. Furthermore, the paper shows that the class of bilipschitz
mappings in $W^m X_{\text{loc}}$ is closed with respect to composition and
multiplication.
