Sunada local isometry lemma

On a compact smooth manifold without boundary of dimension at least two, a residual set of smooth Riemannian metrics consists of nowhere locally homogeneous metrics. Thus such metrics are dense in the smooth topology by the Baire category theorem. In dimension one, arclength coordinates always provide nontrivial local isometries.