OAI/Probability/SATVariance/HiddenTests.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RandomKSAT.familyKill line 13
2. lemma OAI.RandomKSAT.familyKill_nonneg line 17
3. lemma OAI.RandomKSAT.familyKill_le_one line 22
4. lemma OAI.RandomKSAT.familyKill_residual line 27
5. lemma OAI.RandomKSAT.familyKill_equiv line 36
6. lemma OAI.RandomKSAT.familyKill_avg_fin line 47
7. lemma OAI.RandomKSAT.familyKill_avg line 53
8. lemma OAI.RandomKSAT.blockKill_mono_length line 64
9. lemma OAI.RandomKSAT.restricted_familyKill_avg line 75
10. def OAI.RandomKSAT.testIndices line 86
11. lemma OAI.RandomKSAT.forcedPrefix_familyKill line 90
12. lemma OAI.RandomKSAT.prod_filter_indicator line 103
13. lemma OAI.RandomKSAT.forcedPrefix_probability line 109