OAI/Computability/VertexCover/Machines/LCData.lean

GitHub source file

26 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.VertexCover.Machine.finiteCode line 43
  2. theorem OAI.VertexCover.Machine.finiteCode_injective line 45
  3. structure OAI.VertexCover.Machine.FixedLC line 48
  4. def OAI.VertexCover.Machine.FixedLC.toLC line 61
  5. def OAI.VertexCover.Machine.FixedLC.one line 74
  6. abbrev OAI.VertexCover.Machine.FixedLC.Map line 85
  7. abbrev OAI.VertexCover.Machine.FixedLC.Row line 86
  8. abbrev OAI.VertexCover.Machine.FixedLC.Data line 87
  9. def OAI.VertexCover.Machine.FixedLC.mapCode line 88
  10. def OAI.VertexCover.Machine.FixedLC.rowCode line 89
  11. def OAI.VertexCover.Machine.FixedLC.dataCode line 90
  12. def OAI.VertexCover.Machine.FixedLC.data line 91
  13. def OAI.VertexCover.Machine.FixedLC.code line 93
  14. def OAI.VertexCover.Machine.FixedLC.rowDefault line 94
  15. def OAI.VertexCover.Machine.FixedLC.uPoly line 95
  16. def OAI.VertexCover.Machine.FixedLC.restPoly line 97
  17. def OAI.VertexCover.Machine.FixedLC.vPoly line 100
  18. def OAI.VertexCover.Machine.FixedLC.rowsPoly line 102
  19. def OAI.VertexCover.Machine.FixedLC.MPoly line 104
  20. def OAI.VertexCover.Machine.FixedLC.lookup line 106
  21. def OAI.VertexCover.Machine.FixedLC.lookupPoly line 107
  22. theorem OAI.VertexCover.Machine.FixedLC.lookup_valid line 113
  23. def OAI.VertexCover.Machine.FixedLC.leftPoly line 118
  24. def OAI.VertexCover.Machine.FixedLC.rightPoly line 121
  25. def OAI.VertexCover.Machine.FixedLC.relationPoly line 124
  26. def OAI.VertexCover.Machine.FixedLC.materializePoly line 128