`BookProof.ChapterWignerOrbitClassification.SameOrbit.refl` (p : Fin 4 → ℝ) : SameOrbit p p

Initializing...

`BookProof.ChapterWignerOrbitClassification.SameOrbit.refl` (p : Fin 4 → ℝ) : SameOrbit p p · Prove2Me