OAI/Combinatorics/ParityLifts/FlowerPrograms.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ParityWL.Complexity.PolyProgram.swap line 7
  2. def OAI.ParityWL.Complexity.PolyProgram.allWith line 12
  3. def OAI.ParityWL.Complexity.PolyProgram.card line 17
  4. def OAI.ParityWL.Complexity.PolyProgram.cnfCard line 27
  5. def OAI.ParityWL.Complexity.PolyProgram.cardEq line 31
  6. def OAI.ParityWL.Complexity.PolyProgram.petalsApart line 35
  7. def OAI.ParityWL.Complexity.PolyProgram.clauseMember line 47
  8. def OAI.ParityWL.Complexity.PolyProgram.flowerCover line 56
  9. def OAI.ParityWL.Complexity.PolyProgram.goodFlower line 73
  10. def OAI.ParityWL.Complexity.PolyProgram.flowerCandidates line 98
  11. def OAI.ParityWL.Complexity.PolyProgram.flowerList line 114