P
Initializing...
`BookProof.ChapterA3m.swap23_sq` : swap23 * swap23 = 1 · Prove2Me