mathlib3

7a8823a5 - Rewrite the conditional expectation in bell_1975 in a simpler way