`BookProof.ChapterBell.chsh_quantum_violates_local_bound` : (2 : ℝ) < 2 * Real.sqrt 2

Initializing...

`BookProof.ChapterBell.chsh_quantum_violates_local_bound` : (2 : ℝ) < 2 * Real.sqrt 2 · Prove2Me