`BookProof.ChapterWignerOrbitClassification.hermOfMom_negMom` (p : Fin 4 → ℝ) : hermOfMom (negMom p) = -hermOfMom p

Initializing...

`BookProof.ChapterWignerOrbitClassification.hermOfMom_negMom` (p : Fin 4 → ℝ) : hermOfMom (negMom p) = -hermOfMom p · Prove2Me