`BookProof.ChapterWignerLittleGroupOrbits.littleGroup_spacelike` : littleGroup spaceMom = SU11

Initializing...

`BookProof.ChapterWignerLittleGroupOrbits.littleGroup_spacelike` : littleGroup spaceMom = SU11 · Prove2Me