`BookProof.ChapterTrajectory.dslit_finalProb` (f : Fin 2) : finalProb H H psi0 f = 1 / 2

Initializing...

`BookProof.ChapterTrajectory.dslit_finalProb` (f : Fin 2) : finalProb H H psi0 f = 1 / 2 · Prove2Me