`BookProof.ChapterDoubleSlit.slit_closed_born` (i : Fin 2) : bornProb (H *ᵥ psi0) i = 1 / 2

Initializing...

`BookProof.ChapterDoubleSlit.slit_closed_born` (i : Fin 2) : bornProb (H *ᵥ psi0) i = 1 / 2 · Prove2Me