P
Initializing...
`BookProof.ChapterA3m.swap13_sq` : swap13 * swap13 = 1 · Prove2Me