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