`BookProof.ChapterWignerOrbitClassification.negMom_negMom` (p : Fin 4 → ℝ) : negMom (negMom p) = p

Initializing...

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