Stewart–Walker lemma

The Stewart–Walker lemma is a result in the field of differential geometry, particularly in the study of Riemannian manifolds. It is specifically related to the curvature of manifolds and provides conditions under which the curvature tensor can be expressed in terms of the metric tensor and its derivatives. The lemma is often invoked in the context of proving properties about space forms and the relationship between curvature and geometric structures on manifolds.