mathlib3
feat(archive/bell_inequality): Bell's 1964 inequality
#17570
Open

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

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

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone