`BookProof.ChapterWignerLittleGroup.hermOfMom_nullMom` : hermOfMom nullMom = !![(2 : ℂ), 0; 0, 0]

Initializing...

`BookProof.ChapterWignerLittleGroup.hermOfMom_nullMom` : hermOfMom nullMom = !![(2 : ℂ), 0; 0, 0] · Prove2Me