We study systems of equations, F (x) = 0, given by piecewise differentiable functions F : Rn → Rk, k ≤ n. The focus is on the representability of the solution set locally as an (n − k)-dimensional Lipschitz manifold. For that, nonsmooth versions of inverse function theorems are applied. It...