mathlib3

feat(archive/bell_inequality): Bell's 1964 inequality

#17570

Open