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