OAI/Combinatorics/ParityLifts/SetPrograms.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ParityWL.Complexity.PolyProgram.clauseSubset line 7
  2. def OAI.ParityWL.Complexity.PolyProgram.minimalClause line 14
  3. def OAI.ParityWL.Complexity.PolyProgram.minimizeList line 26
  4. def OAI.ParityWL.Complexity.PolyProgram.keepClause line 31
  5. def OAI.ParityWL.Complexity.PolyProgram.pruneList line 39
  6. def OAI.ParityWL.Complexity.allTuples line 45
  7. lemma OAI.ParityWL.Complexity.mem_allTuples line 49
  8. lemma OAI.ParityWL.Complexity.allTuples_length line 68
  9. def OAI.ParityWL.Complexity.PolyProgram.prependAll line 78
  10. def OAI.ParityWL.Complexity.PolyProgram.allTuples line 86
  11. def OAI.ParityWL.Complexity.clauseDiff line 93
  12. lemma OAI.ParityWL.Complexity.clauseDiff_set line 96
  13. def OAI.ParityWL.Complexity.PolyProgram.clauseDiff line 101
  14. def OAI.ParityWL.Complexity.PolyProgram.clauseDisjoint line 105