`BookProof.ChapterWignerOrbitClassification.minkSq_spaceRefMom` (m : ℝ) : minkSq (spaceRefMom m) = -m ^ 2

Initializing...

`BookProof.ChapterWignerOrbitClassification.minkSq_spaceRefMom` (m : ℝ) : minkSq (spaceRefMom m) = -m ^ 2 · Prove2Me