Riemannian geometry stubs