OAI/Probability/SATVariance/IsolatedSupports.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RandomKSAT.avoidance_probability_lower line 13
2. lemma OAI.RandomKSAT.log_one_sub_lower line 42
3. lemma OAI.RandomKSAT.slow_geometric_lower line 51
4. def OAI.RandomKSAT.isolated line 59
5. def OAI.RandomKSAT.isolateSet line 62
6. lemma OAI.RandomKSAT.isolated_insertNth line 65
7. lemma OAI.RandomKSAT.favg_all line 72
8. lemma OAI.RandomKSAT.isolate_probability_lower line 81
9. lemma OAI.RandomKSAT.isolate_count_lower line 119