Continuity of the mappings with finite distortion of the Sobolev class $W^1_{\nu,\operatorname{loc}}$ on Carnot groups

We prove the continuity of the mappings with finite distortion of the Sobolev class $W^1_{\nu,\operatorname{loc}}$ on Carnot groups and establish that these mappings are $\mathcal P$-differentiable almost everywhere and have the Luzin $\mathcal N$-property.