On the smoothness of $C^1$-contact maps in $C^{\mathrm{\infty }}$-rigid Carnot groups

We show that in any $C^{\mathrm{\infty }}$-rigid Carnot group in the sense of Ottazzi - Warhurst, $C^1$-contact maps are automatically smooth.