`BookProof.ChapterWeakValue.dslit_weakValue` : weakValue (H *ᵥ psi0) psi0 (projMat 0) = 1 ∧ weakValue (H *ᵥ psi0) psi0 (projMat 1) = 0

Initializing...

`BookProof.ChapterWeakValue.dslit_weakValue` : weakValue (H *ᵥ psi0) psi0 (projMat 0) = 1 ∧ weakValue (H *ᵥ psi0) psi0 (projMat 1) = 0 · Prove2Me