`BookProof.ChapterDoubleSlit.slit_open_born` : bornProb (H *ᵥ (H *ᵥ psi0)) 0 = 1 ∧ bornProb (H *ᵥ (H *ᵥ psi0)) 1 = 0

Initializing...

`BookProof.ChapterDoubleSlit.slit_open_born` : bornProb (H *ᵥ (H *ᵥ psi0)) 0 = 1 ∧ bornProb (H *ᵥ (H *ᵥ psi0)) 1 = 0 · Prove2Me