We prove that a mapping of finite distortion in a domain of an -type Carnot group is continuous, open, and discrete provided that the distortion function of belongs to for some . In fact, the proof is suitable for each Carnot group provided it has a -harmonic function of the form , where the homogeneous norm is -smooth.