OAI/Computability/VertexCover/Machines/Regular.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.VertexCover.Machine.TableMachine.relation_ext line 43
  2. abbrev OAI.VertexCover.Machine.RegularMachine.degree line 55
  3. def OAI.VertexCover.Machine.RegularMachine.flatReverse line 57
  4. def OAI.VertexCover.Machine.RegularMachine.flatRelation line 61
  5. def OAI.VertexCover.Machine.RegularMachine.coordsPoly line 64
  6. def OAI.VertexCover.Machine.RegularMachine.flatReversePoly line 71
  7. def OAI.VertexCover.Machine.RegularMachine.flatRelationPoly line 78
  8. theorem OAI.VertexCover.Machine.RegularMachine.flatReverse_source line 81
  9. theorem OAI.VertexCover.Machine.RegularMachine.flatRelation_source line 100
  10. def OAI.VertexCover.Machine.RegularMachine.regularData line 117
  11. theorem OAI.VertexCover.Machine.RegularMachine.regularData_source line 122
  12. def OAI.VertexCover.Machine.RegularMachine.regularLengthPoly line 138
  13. def OAI.VertexCover.Machine.RegularMachine.reverseListPoly line 142
  14. def OAI.VertexCover.Machine.RegularMachine.relationListPoly line 146
  15. def OAI.VertexCover.Machine.RegularMachine.regularDataPoly line 150
  16. def OAI.VertexCover.Machine.RegularMachine.regularPoly line 154