`BookProof.ChapterWignerOrbitClassification.sameOrbit_spacelike` {p q : Fin 4 → ℝ} (hneg : minkSq p < 0) (hpq : minkSq p = minkSq q) : SameOrbit p q

Initializing...

`BookProof.ChapterWignerOrbitClassification.sameOrbit_spacelike` {p q : Fin 4 → ℝ} (hneg : minkSq p < 0) (hpq : minkSq p = minkSq q) : SameOrbit p q · Prove2Me