`BookProof.ChapterWignerOrbitClassification.SameOrbit.trans` {p q r : Fin 4 → ℝ} (h₁ : SameOrbit p q) (h₂ : SameOrbit q r) : SameOrbit p r

Initializing...

`BookProof.ChapterWignerOrbitClassification.SameOrbit.trans` {p q r : Fin 4 → ℝ} (h₁ : SameOrbit p q) (h₂ : SameOrbit q r) : SameOrbit p r · Prove2Me