P
Initializing...
`BookProof.ChapterPauliGrover.pauliGrover_cond_one` : pCond pauliX (0 : Fin 2) 1 = 1 · Prove2Me