https://1library.org/document/q7w9kjov-short-course-isometry-group-lorentz-manifolds.html