OAI/Combinatorics/RamseyFive/Probability/PoissonProposal.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpRamseyFive.PoissonScore.schedule_event_likelihood line 17
2. theorem OAI.SharpRamseyFive.PoissonScore.uniform_schedule_likelihood line 33
3. def OAI.SharpRamseyFive.PoissonScore.ambientSuccess line 57
4. lemma OAI.SharpRamseyFive.PoissonScore.measurePreserving_restrict_schedule line 60
5. lemma OAI.SharpRamseyFive.PoissonScore.ae_zero_outside_schedule line 72
6. lemma OAI.SharpRamseyFive.PoissonScore.ambientSuccess_true_mass line 86
7. lemma OAI.SharpRamseyFive.PoissonScore.sampleCount_restrict line 99
8. theorem OAI.SharpRamseyFive.PoissonScore.uniform_hidden_event_likelihood line 107
9. lemma OAI.SharpRamseyFive.PoissonScore.sum_set_rate line 125
10. theorem OAI.SharpRamseyFive.PoissonScore.enclosure_hidden_event_likelihood line 132