P
Initializing...
`BookProof.ChapterDoubleSlit.slit_open_state` : H *ᵥ (H *ᵥ psi0) = psi0 · Prove2Me