Invertibility of Sobolev mappings under minimal hypotheses

We prove a version of the Inverse Function Theorem for continuous weakly differentiable mappings. Namely, a nonconstant W1,n mapping is a local homeomorphism if it has integrable inner distortion function and satisfies a certain differential inclusion. The integrability assumption is shown to be optimal.