= Solution An isometry is a smooth diffeomorphism with $I_x(v,w)=I_{\phi(x)}(d\phi_xv,d\phi_xw)$.
Back to article page
