`BookProof.ChapterTrajectory.dslit_condProb` (f a : Fin 2) : condProb H H psi0 f a = 1 / 2

Initializing...

`BookProof.ChapterTrajectory.dslit_condProb` (f a : Fin 2) : condProb H H psi0 f a = 1 / 2 · Prove2Me