`BookProof.ChapterTrajectory.dslit_coherentFinal` : coherentFinal H H psi0 0 = 1 ∧ coherentFinal H H psi0 1 = 0

Initializing...

`BookProof.ChapterTrajectory.dslit_coherentFinal` : coherentFinal H H psi0 0 = 1 ∧ coherentFinal H H psi0 1 = 0 · Prove2Me