On the equivalence of derivatives for maps between Carnot groups

This paper gives an alternate, elementary proof of a result of Magnani: maps between Carnot groups that preserve horizontal curves and are continuously differential in horizontal directions in the Euclidean sense are continuously Pansu differentiable. This proof contains primarily Euclidean arguments and also reproves a version of Magnani's mean value estimate for continuously Pansu differentiable maps.