`BookProof.ChapterWignerOrbitClassification.sameOrbit_of_zero` {p q : Fin 4 → ℝ} (hp : ∀ i, p i = 0) (hq : ∀ i, q i = 0) : SameOrbit p q

Initializing...

`BookProof.ChapterWignerOrbitClassification.sameOrbit_of_zero` {p q : Fin 4 → ℝ} (hp : ∀ i, p i = 0) (hq : ∀ i, q i = 0) : SameOrbit p q · Prove2Me