`BookProof.ChapterWignerOrbitClassification.sameOrbit_negMom` {p q : Fin 4 → ℝ} (h : SameOrbit p q) : SameOrbit (negMom p) (negMom q)

Initializing...

`BookProof.ChapterWignerOrbitClassification.sameOrbit_negMom` {p q : Fin 4 → ℝ} (h : SameOrbit p q) : SameOrbit (negMom p) (negMom q) · Prove2Me