OAI/Probability/SATVariance/LifetimeSharpness.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RandomKSAT.lifetime_parameters line 12
2. lemma OAI.RandomKSAT.lifetime_subcube_eventually line 18
3. lemma OAI.RandomKSAT.killing_above_scale line 52
4. lemma OAI.RandomKSAT.rpow_rescaling line 64
5. lemma OAI.RandomKSAT.lifetime_ratio_growth line 70
6. theorem OAI.RandomKSAT.lifetime_sharp line 88