`BookProof.ChapterBell.chsh_quantum_value` : chshValue = ((2 * Real.sqrt 2 : ℝ) : ℂ)

Initializing...

`BookProof.ChapterBell.chsh_quantum_value` : chshValue = ((2 * Real.sqrt 2 : ℝ) : ℂ) · Prove2Me