P
Initializing...
`BookProof.ChapterPauliGrover.pauliX_rotates` : pauliX 1 0 = 1 ∧ pauliX 0 0 = 0 · Prove2Me