OAI/Computability/VertexCover/Machines/CloudIndex.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.VertexCover.Machine.CloudMachine.idxOf_map_injective line 45
  2. theorem OAI.VertexCover.Machine.CloudMachine.getD_idxOf line 57
  3. abbrev OAI.VertexCover.Machine.CloudMachine.Dummy line 62
  4. def OAI.VertexCover.Machine.CloudMachine.dummyErase line 63
  5. theorem OAI.VertexCover.Machine.CloudMachine.dummyErase_injective line 64
  6. theorem OAI.VertexCover.Machine.CloudMachine.dummies_idx line 72
  7. theorem OAI.VertexCover.Machine.CloudMachine.dummies_get line 77
  8. theorem OAI.VertexCover.Machine.CloudMachine.cloud_idx line 84
  9. theorem OAI.VertexCover.Machine.CloudMachine.cloud_get line 90
  10. def OAI.VertexCover.Machine.CloudMachine.ownerRank line 98
  11. def OAI.VertexCover.Machine.CloudMachine.ownerRankPoly line 106
  12. def OAI.VertexCover.Machine.CloudMachine.globalIndex line 124
  13. def OAI.VertexCover.Machine.CloudMachine.globalIndexPoly line 129
  14. theorem OAI.VertexCover.Machine.CloudMachine.ownerRank_source line 144
  15. theorem OAI.VertexCover.Machine.CloudMachine.globalIndex_source line 163