OAI/Geometry/HeilbronnTriangle/ConditionalSamples.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem355.ConditionalSamples.productWeight line 12
2. lemma OAI.Problem355.ConditionalSamples.sum_productWeight line 14
3. lemma OAI.Problem355.ConditionalSamples.productWeight_nonneg line 22
4. lemma OAI.Problem355.ConditionalSamples.productWeight_split line 27
5. lemma OAI.Problem355.ConditionalSamples.sum_productWeight_restrict line 33
6. lemma OAI.Problem355.ConditionalSamples.sum_productWeight_comp line 62
7. def OAI.Problem355.ConditionalSamples.sharedWeight line 84
8. lemma OAI.Problem355.ConditionalSamples.sharedWeight_nonneg line 88
9. lemma OAI.Problem355.ConditionalSamples.sum_sharedWeight line 93
10. lemma OAI.Problem355.ConditionalSamples.shared_marginal line 101
11. lemma OAI.Problem355.ConditionalSamples.shared_pair_marginal line 112
12. lemma OAI.Problem355.ConditionalSamples.shared_triple_marginal line 123