feat(archive/bell_inequality): Bell's 1964 inequality #17570
ianjauslin-rutgers
wants to merge
18 commits into
master
from
bell_pr
Proof of Bell's inequality
50b42b52
Add reference to Bell's book
eb7925e5
kex-y
commented
on 2022-11-17
Replace probability_measure with measure and is_probability_measure
b6b79260
Typo in comments
7fac28e6
AlexKontorovich
commented
on 2022-11-18
AlexKontorovich
commented
on 2022-11-18
Give name to is_probability_measure
2af3ac27
Use name for is_probability_measure
01d4e885
fixes
a12224cb
more stuff
8e50f9a4
adding `apply_rules`
221718ab
Merge remote-tracking branch 'origin/master' into bell_pr
d980e51e
start of a cleanup
4e100152
finish golfing
db19cec0
fix bib
684a0b5c
YaelDillies
changed the title
kex-y
commented
on 2023-02-25
fix measure_theory.function.strongly_measurable.basic
a09c7b1f
fix
d72f6f07
kim-em
commented
on 2023-03-17
simplify down to three variables
3a577c48
move to archive
22ebbd09
YaelDillies
changed the title
eric-wieser
commented
on 2023-04-01
probability notation
7ddf49bc
Reviewers
Assignees
No one assigned
Labels
awaiting-review
t-measure-probability
not-too-late
Milestone
No milestone
Login to write a write a comment.
Login via GitHub