The Restricted Lorentz Group

This file is currently a stub.

def LorentzGroup.Restricted : InformalDefinition

The subgroup of the Lorentz group consisting of elements which are proper and orthochronous.

Equations

• LorentzGroup.Restricted = { deps := [`LorentzGroup, `LorentzGroup.IsProper, `LorentzGroup.IsOrthochronous] }