Newton–Cartan theory (or geometrized Newtonian gravitation) is a geometrical re-formulation, as well as a generalization, of Newtonian gravity first introduced by Élie Cartan[1][2] and Kurt Friedrichs[3] and later developed by Dautcourt,[4] Dixon,[5] Dombrowski and Horneffer, Ehlers, Havas,[6] Künzle,[7] Lottermoser, Trautman,[8] and others. In this re-formulation, the structural similarities between Newton's theory and Albert Einstein's general theory of relativity are readily seen, and it has been used by Cartan and Friedrichs to give a rigorous formulation of the way in which Newtonian gravity can be seen as a specific limit of general relativity, and by Jürgen Ehlers to extend this correspondence to specific solutions of general relativity.