OAI/Combinatorics/ParityLifts/DegreeGraph.lean

GitHub source file

26 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ParityWL.Complexity.PolyProgram.finite_degree line 13
  2. lemma OAI.ParityWL.Complexity.PolyProgram.finite2_degree line 15
  3. lemma OAI.ParityWL.Complexity.PolyProgram.evalFin_degree line 17
  4. lemma OAI.ParityWL.Complexity.PolyProgram.length_degree line 19
  5. lemma OAI.ParityWL.Complexity.PolyProgram.listShift_degree line 22
  6. lemma OAI.ParityWL.Complexity.PolyProgram.splitAt_degree line 26
  7. lemma OAI.ParityWL.Complexity.PolyProgram.getD_degree line 30
  8. lemma OAI.ParityWL.Complexity.PolyProgram.append_degree line 33
  9. lemma OAI.ParityWL.Complexity.PolyProgram.flatten_degree line 37
  10. lemma OAI.ParityWL.Complexity.PolyProgram.choiceEntry_degree line 42
  11. lemma OAI.ParityWL.Complexity.PolyProgram.choiceBound_degree line 45
  12. lemma OAI.ParityWL.Complexity.PolyProgram.choiceLabel_degree line 49
  13. lemma OAI.ParityWL.Complexity.PolyProgram.indexSize_degree line 53
  14. lemma OAI.ParityWL.Complexity.PolyProgram.vertices_degree line 57
  15. lemma OAI.ParityWL.Complexity.PolyProgram.evalRule_degree line 63
  16. lemma OAI.ParityWL.Complexity.PolyProgram.edgeTest_degree line 67
  17. lemma OAI.ParityWL.Complexity.PolyProgram.matrixRow_degree line 71
  18. lemma OAI.ParityWL.Complexity.PolyProgram.matrixRows_degree line 75
  19. lemma OAI.ParityWL.Complexity.PolyProgram.rowMatrix_degree line 79
  20. lemma OAI.ParityWL.Complexity.PolyProgram.matrix_degree_form line 83
  21. lemma OAI.ParityWL.Complexity.PolyProgram.matrix_degree line 88
  22. lemma OAI.ParityWL.Complexity.PolyProgram.vertexCount_degree line 93
  23. lemma OAI.ParityWL.Complexity.PolyProgram.orderPrefix_degree line 97
  24. lemma OAI.ParityWL.Complexity.PolyProgram.leftOutput_degree line 101
  25. lemma OAI.ParityWL.Complexity.PolyProgram.graphOutput_degree_form line 105
  26. lemma OAI.ParityWL.Complexity.PolyProgram.graphOutput_degree line 111