`BookProof.ChapterWignerOrbitClassification.minkSq_eq_of_sameOrbit` {p q : Fin 4 → ℝ} (h : SameOrbit p q) : minkSq p = minkSq q

Initializing...

`BookProof.ChapterWignerOrbitClassification.minkSq_eq_of_sameOrbit` {p q : Fin 4 → ℝ} (h : SameOrbit p q) : minkSq p = minkSq q · Prove2Me