proper orthochronous Lorentz group

GPTKB entity