P
Initializing...
`BookProof.ChapterWignerSymmetry.alignPhase_self` : alignPhase b T o o = 1 · Prove2Me