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

Initializing...

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