`BookProof.ChapterWignerLittleGroup.nullTranslations_comm` (b b' : ℂ) : nullElt 1 b * nullElt 1 b' = nullElt 1 b' * nullElt 1 b

Initializing...

`BookProof.ChapterWignerLittleGroup.nullTranslations_comm` (b b' : ℂ) : nullElt 1 b * nullElt 1 b' = nullElt 1 b' * nullElt 1 b · Prove2Me