OAI/Probability/SATComputability/MaskDelay.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.FixedClauseThreshold.Computability.sixth_fifth_increment line 10
2. theorem OAI.FixedClauseThreshold.Computability.maskLifetime_mono line 24
3. theorem OAI.FixedClauseThreshold.Computability.maskLifetime_empty line 33
4. def OAI.FixedClauseThreshold.Computability.maskDelayMoment line 39
5. theorem OAI.FixedClauseThreshold.Computability.maskDelayMoment_zero line 44
6. theorem OAI.FixedClauseThreshold.Computability.maskDelayMoment_step line 48
7. theorem OAI.FixedClauseThreshold.Computability.finite_expect_comm line 95
8. theorem OAI.FixedClauseThreshold.Computability.finiteKernel_accumulation line 106
9. theorem OAI.FixedClauseThreshold.Computability.maskDelayMoment_occupation line 125