OAI/Combinatorics/ParityLifts/UniformGraphs.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ParityWL.Complexity.PolyProgram.eqOn line 7
  2. def OAI.ParityWL.Complexity.PolyProgram.andOn line 11
  3. def OAI.ParityWL.Complexity.PolyProgram.orOn line 16
  4. def OAI.ParityWL.Complexity.PolyProgram.rawAdjacent line 21
  5. def OAI.ParityWL.Complexity.PolyProgram.rawEntry line 36
  6. def OAI.ParityWL.Complexity.PolyProgram.rawBound line 49
  7. def OAI.ParityWL.Complexity.PolyProgram.rawLabel line 65
  8. def OAI.ParityWL.Complexity.PolyProgram.rawRoleSize line 72
  9. def OAI.ParityWL.Complexity.PolyProgram.rawHelperTest line 87
  10. def OAI.ParityWL.Complexity.PolyProgram.rawBaseTest line 106
  11. def OAI.ParityWL.Complexity.PolyProgram.rawTagTest line 132
  12. def OAI.ParityWL.Complexity.PolyProgram.rawEdgeTest line 151
  13. def OAI.ParityWL.Complexity.PolyProgram.rawVertices line 158
  14. def OAI.ParityWL.Complexity.PolyProgram.rawMatrix line 170
  15. def OAI.ParityWL.Complexity.PolyProgram.rawOutput line 185