Myers–Steenrod theorem
Two theorems in the mathematical field of Riemannian geometry bear the name Myers–Steenrod theorem , both from a 1939 paper by Myers and Steenrod . 
<triplet> Myers–Steenrod theorem <subj> theorems <obj> instance of