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