Myers–Steenrod theorem

The Myers–Steenrod theorem is an important result in differential geometry, particularly in the study of Riemannian manifolds. It primarily deals with the structure of Riemannian manifolds that have certain properties related to curvature.