P
Initializing...
`BookProof.ChapterPauliGrover.pauliX_sq` : pauliX * pauliX = 1 · Prove2Me