`BookProof.ChapterPauliGrover.pauliGrover_joint_one` : pJoint pauliX (0 : Fin 2) 1 = 1 · Prove2Me

P

Initializing...

`BookProof.ChapterPauliGrover.pauliGrover_joint_one` : pJoint pauliX (0 : Fin 2) 1 = 1 · Prove2Me