OAI/Probability/SATVariance/HallSatisfiability.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.RandomKSAT.finiteSAT_of_hall line 13
  2. lemma OAI.RandomKSAT.deficient_witness line 22
  3. lemma OAI.RandomKSAT.favg_support line 33
  4. lemma OAI.RandomKSAT.containing_support_probability line 45
  5. lemma OAI.RandomKSAT.containing_support_bound line 64
  6. lemma OAI.RandomKSAT.favg_pi_on line 81
  7. lemma OAI.RandomKSAT.hall_union_pointwise line 100
  8. lemma OAI.RandomKSAT.hall_term_bound line 126
  9. lemma OAI.RandomKSAT.finite_geometric_half line 156
  10. lemma OAI.RandomKSAT.hall_sum_bound line 168
  11. lemma OAI.RandomKSAT.hall_probability_bound line 181