mathlib3
feat(probability): define conditional independence and prove conditional irrelevance theorems
#12514
Open
Overview
Commits
9
Changes
View On GitHub

feat(probability): define conditional independence and prove conditional irrelevance theorems #12514

rish987 wants to merge 9 commits into master from cond_indep
rish987
rish987 feat(probability): define conditional independence and prove conditio…
27863bd3
rish987 rish987 added awaiting-CI
rish987 rish987 removed awaiting-CI
rish987 rish987 added awaiting-review
rish987 minor
6205cad6
rish987 minor
8053fea0
eric-wieser
eric-wieser commented on 2022-03-08
eric-wieser
eric-wieser commented on 2022-03-08
eric-wieser
eric-wieser commented on 2022-03-08
eric-wieser
eric-wieser commented on 2022-03-08
rish987 rish987 removed awaiting-review
rish987 rish987 added WIP
rish987 golf
be77f65f
rish987 minor
7c332ed5
rish987 use set notation
48724d80
rish987 lint
67c9b245
rish987 rish987 removed WIP
rish987 rish987 added awaiting-review
rish987 Merge branch 'master' into cond_indep
a2e3be4e
rish987 update for removal of unused argument
7d35e448
RemyDegenne
RemyDegenne RemyDegenne removed awaiting-review
RemyDegenne RemyDegenne added awaiting-author
rish987
rish987
leanprover-community-bot-assistant leanprover-community-bot-assistant added merge-conflict
rish987
kim-em kim-em added too-late
eric-wieser eric-wieser requested a review 2 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
awaiting-author merge-conflict too-late
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum