`BookProof.ChapterWeakValue.hadamard_psi0` : (H *ᵥ psi0) = ![(1 / Real.sqrt 2 : ℂ), (1 / Real.sqrt 2 : ℂ)]

Initializing...

`BookProof.ChapterWeakValue.hadamard_psi0` : (H *ᵥ psi0) = ![(1 / Real.sqrt 2 : ℂ), (1 / Real.sqrt 2 : ℂ)] · Prove2Me