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

Initializing...

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