OAI/Probability/SATVariance/OmissionCompression.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.RandomKSAT.joinedAssignment line 13
  2. lemma OAI.RandomKSAT.joinedAssignment_inl line 17
  3. lemma OAI.RandomKSAT.joinedAssignment_inr line 21
  4. lemma OAI.RandomKSAT.joinedAssignment_surjective line 25
  5. lemma OAI.RandomKSAT.satisfies_joined_merge line 33
  6. lemma OAI.RandomKSAT.succAbove_lt_succ_iff line 39
  7. abbrev OAI.RandomKSAT.omittedSAT line 49
  8. lemma OAI.RandomKSAT.finiteSAT_omittedSAT line 52
  9. lemma OAI.RandomKSAT.omittedSAT_before line 57
  10. lemma OAI.RandomKSAT.omittedTime_nonneg_diff line 67
  11. lemma OAI.RandomKSAT.omittedSAT_compressed line 78
  12. lemma OAI.RandomKSAT.fullSAT_compressed line 95
  13. lemma OAI.RandomKSAT.deletion_difference_le_rewards line 116
  14. lemma OAI.RandomKSAT.clause_root_presentation line 159
  15. lemma OAI.RandomKSAT.favg_insertNth line 189