OAI/Computability/VertexCover/Machines/Profile.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.VertexCover.LabelCover.Query.Profile line 44
  2. def OAI.VertexCover.LabelCover.Query.encodeAssignment line 45
  3. def OAI.VertexCover.LabelCover.Query.encode line 48
  4. theorem OAI.VertexCover.LabelCover.Query.encode_u line 49
  5. theorem OAI.VertexCover.LabelCover.Query.encode_v line 52
  6. theorem OAI.VertexCover.LabelCover.Query.encodeAssignment_injective line 55
  7. theorem OAI.VertexCover.LabelCover.Query.encode_injective line 70
  8. def OAI.VertexCover.LabelCover.Query.ProfileValid line 74
  9. instance OAI.VertexCover.LabelCover.Query.(instance at line 81) line 81
  10. theorem OAI.VertexCover.LabelCover.Query.encode_valid line 83
  11. def OAI.VertexCover.LabelCover.Query.positionU line 104
  12. def OAI.VertexCover.LabelCover.Query.positionV line 106
  13. theorem OAI.VertexCover.LabelCover.Query.positionU_eq line 108
  14. theorem OAI.VertexCover.LabelCover.Query.positionV_eq line 110
  15. def OAI.VertexCover.LabelCover.Query.decode line 112
  16. theorem OAI.VertexCover.LabelCover.Query.encode_decode line 116
  17. theorem OAI.VertexCover.LabelCover.Query.valid_iff line 131