OAI/Computability/VertexCover/Machines/RegularRow.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.VertexCover.Machine.RegularMachine.inputCode line 45
  2. def OAI.VertexCover.Machine.RegularMachine.reversePair line 47
  3. def OAI.VertexCover.Machine.RegularMachine.reversePairPoly line 56
  4. def OAI.VertexCover.Machine.RegularMachine.equalityRelation line 74
  5. def OAI.VertexCover.Machine.RegularMachine.trueRelation line 75
  6. def OAI.VertexCover.Machine.RegularMachine.relation line 77
  7. def OAI.VertexCover.Machine.RegularMachine.relationPoly line 82
  8. theorem OAI.VertexCover.Machine.RegularMachine.reversePair_source line 94
  9. theorem OAI.VertexCover.Machine.RegularMachine.relation_source line 120