`BookProof.ChapterWignerLittleGroup.littleGroup_rest` {m : ℝ} (hm : m ≠ 0) : littleGroup (restMom m) = SU2

Initializing...

`BookProof.ChapterWignerLittleGroup.littleGroup_rest` {m : ℝ} (hm : m ≠ 0) : littleGroup (restMom m) = SU2 · Prove2Me