P
Initializing...
`BookProof.ChapterParity.pauli2_sq` : pauli2 * pauli2 = 1 · Prove2Me