OAI/Probability/SATComputability/PoissonCountProducts.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.FixedClauseThreshold.Computability.poissonCountLaw line 11
2. instance OAI.FixedClauseThreshold.Computability.poissonCountLaw_probability line 14
3. theorem OAI.FixedClauseThreshold.Computability.poissonCountLaw_equiv line 17
4. theorem OAI.FixedClauseThreshold.Computability.poissonCountLaw_sum line 30
5. theorem OAI.FixedClauseThreshold.Computability.poisson_zero_eq_dirac line 45
6. theorem OAI.FixedClauseThreshold.Computability.poissonCountLaw_hasLaw_sum line 51
7. theorem OAI.FixedClauseThreshold.Computability.poissonCountLaw_sum_integral line 79
8. theorem OAI.FixedClauseThreshold.Computability.poissonCountLaw_embedding line 85
9. theorem OAI.FixedClauseThreshold.Computability.poissonCountLaw_embedding_integral line 96
10. theorem OAI.FixedClauseThreshold.Computability.poissonCountLaw_row_sums line 103