OAI/Probability/SATVariance/ClauseCombinatorics.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.RandomKSAT.support_card line 13
  2. lemma OAI.RandomKSAT.clause_card line 20
  3. lemma OAI.RandomKSAT.clause_nonempty line 31
  4. lemma OAI.RandomKSAT.clauseLaw_probability line 35
  5. lemma OAI.RandomKSAT.streamLaw_probability line 41
  6. def OAI.RandomKSAT.frozen line 47
  7. def OAI.RandomKSAT.Kills line 50
  8. lemma OAI.RandomKSAT.bool_ne_iff line 53
  9. lemma OAI.RandomKSAT.kills_iff line 56
  10. def OAI.RandomKSAT.killingEquiv line 77
  11. lemma OAI.RandomKSAT.killing_card line 95
  12. lemma OAI.RandomKSAT.count_set_fintype line 103
  13. lemma OAI.RandomKSAT.clauseLaw_kills line 110
  14. lemma OAI.RandomKSAT.frozen_singleton line 119
  15. lemma OAI.RandomKSAT.clauseLaw_not_satisfies line 123
  16. lemma OAI.RandomKSAT.clauseLaw_satisfies line 136