mathlib
d980e51e
- Merge remote-tracking branch 'origin/master' into bell_pr
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
2 years ago
Merge remote-tracking branch 'origin/master' into bell_pr
References
#17570 - feat(archive/bell_inequality): Bell's 1964 inequality
Author
YaelDillies
Parents
221718ab
a8e7ac80
Loading
