Definition:Riemannian Geometry/Historical Note