P
Initializing...
`BookProof.ChapterTrajectory.midProb_H` (a : Fin 2) : midProb H psi0 a = 1 / 2 · Prove2Me