mathlib3
48724d80
- use set notation
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
use set notation
References
#12514 - feat(probability): define conditional independence and prove conditional irrelevance theorems
Author
rish987
Parents
7c332ed5
Loading