OAI/Probability/SATComputability/PoissonMaskCounts.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.FixedClauseThreshold.Computability.zeroMask line 12
2. theorem OAI.FixedClauseThreshold.Computability.zeroMask_measurable line 15
3. def OAI.FixedClauseThreshold.Computability.maskDefect line 22
4. def OAI.FixedClauseThreshold.Computability.countsMask line 26
5. theorem OAI.FixedClauseThreshold.Computability.zeroMask_sum_defect line 30
6. theorem OAI.FixedClauseThreshold.Computability.zeroMask_sum_marks line 44
7. theorem OAI.FixedClauseThreshold.Computability.compoundPoisson_uniform_integral line 54
8. def OAI.FixedClauseThreshold.Computability.markedMaskLaw line 86
9. theorem OAI.FixedClauseThreshold.Computability.markedMaskLaw_counts line 91
10. theorem OAI.FixedClauseThreshold.Computability.candidateBlock_counts line 113