proper Lorentz group

GPTKB entity