Riemannian isometry (source code)

= Riemannian isometry

A Riemannian isometry is a diffeomorphism that preserves the Riemannian metric, and hence lengths, areas, and intrinsic curvature.