An area formula for Lipschitz mappings of Carnot–Carathéodory spaces

We prove a sub-Riemannian analogue of the area formula for Lipschitz mappings (in the sub-Riemannian sense) between equiregular Carnot–Carathéodory spaces. In particular, we give an adequate analytic definition of the sub-Riemannian Jacobian.