`BookProof.ChapterWignerOrbitClassification.hermOfMom_spaceRefMom` (m : ℝ) : hermOfMom (spaceRefMom m) = !![(m : ℂ), 0; 0, -(m : ℂ)]

Initializing...

`BookProof.ChapterWignerOrbitClassification.hermOfMom_spaceRefMom` (m : ℝ) : hermOfMom (spaceRefMom m) = !![(m : ℂ), 0; 0, -(m : ℂ)] · Prove2Me