Proper orthochronous Lorentz group (source code)

= Proper orthochronous Lorentz group

The proper orthochronous Lorentz group is the identity component of the <Lorentz group>. Its elements have determinant one and preserve the future light cone.