`BookProof.ChapterWignerLittleGroupOrbits.hermOfMom_spaceMom` : hermOfMom spaceMom = !![(1 : ℂ), 0; 0, -1]

Initializing...

`BookProof.ChapterWignerLittleGroupOrbits.hermOfMom_spaceMom` : hermOfMom spaceMom = !![(1 : ℂ), 0; 0, -1] · Prove2Me