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

Initializing...

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