P
Initializing...
`BookProof.ChapterA3m.swap12_sq` : swap12 * swap12 = 1 · Prove2Me