OAI/Probability/SATVariance/RootDisintegration.lean

GitHub source file

24 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.RandomKSAT.clauseRead line 13
  2. lemma OAI.RandomKSAT.clauseRead_isSome line 16
  3. lemma OAI.RandomKSAT.clause_ext line 21
  4. lemma OAI.RandomKSAT.satisfies_iff_read line 38
  5. abbrev OAI.RandomKSAT.RootType line 48
  6. def OAI.RandomKSAT.rootSupport line 50
  7. def OAI.RandomKSAT.rootSize line 53
  8. lemma OAI.RandomKSAT.rootSize_le line 55
  9. def OAI.RandomKSAT.mergeClause line 58
  10. lemma OAI.RandomKSAT.mem_merge_inl line 67
  11. lemma OAI.RandomKSAT.mem_merge_inr line 72
  12. lemma OAI.RandomKSAT.read_merge_inl line 77
  13. lemma OAI.RandomKSAT.read_merge_inr line 92
  14. lemma OAI.RandomKSAT.mergeClause_injective line 100
  15. def OAI.RandomKSAT.rootRead line 117
  16. def OAI.RandomKSAT.partSupport line 120
  17. lemma OAI.RandomKSAT.split_support line 123
  18. lemma OAI.RandomKSAT.partSupport_card line 128
  19. def OAI.RandomKSAT.partRead line 135
  20. lemma OAI.RandomKSAT.read_partRead line 140
  21. lemma OAI.RandomKSAT.mergeClause_surjective line 146
  22. def OAI.RandomKSAT.splitClauseEquiv line 158
  23. def OAI.RandomKSAT.RootSatisfies line 162
  24. lemma OAI.RandomKSAT.satisfies_merge line 165