P
Initializing...
`BookProof.ChapterPauliGrover.pauliX_conjTranspose` : pauliX.conjTranspose = pauliX · Prove2Me