P
Initializing...
`BookProof.ChapterA3m.braid_right` : swap23 * swap12 * swap23 = swap13 · Prove2Me