OAI/Probability/SATVariance/FrozenReplacement.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RandomKSAT.killRatio line 13
2. lemma OAI.RandomKSAT.killRatio_nonneg line 15
3. lemma OAI.RandomKSAT.killRatio_zero line 19
4. lemma OAI.RandomKSAT.killRatio_eq_zero line 22
5. lemma OAI.RandomKSAT.killRatio_succ line 25
6. lemma OAI.RandomKSAT.killRatio_le_density_pow line 40
7. lemma OAI.RandomKSAT.killRatio_le_half_pow line 61
8. lemma OAI.RandomKSAT.killRatio_pos line 69
9. lemma OAI.RandomKSAT.killRatio_root_le line 76
10. lemma OAI.RandomKSAT.frozen_power line 85