OAI/Computability/VertexCover/Machines/ProfileSlot.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.VertexCover.LabelCover.Query.profileLabels line 44
  2. theorem OAI.VertexCover.LabelCover.Query.mem_profileLabels line 47
  3. theorem OAI.VertexCover.LabelCover.Query.profileLabels_nodup line 51
  4. theorem OAI.VertexCover.LabelCover.Query.profileLabels_length line 54
  5. def OAI.VertexCover.LabelCover.Query.profileSlot line 61
  6. theorem OAI.VertexCover.LabelCover.Query.profileSlot_injective line 64
  7. def OAI.VertexCover.LabelCover.Query.slotPermutation line 69
  8. theorem OAI.VertexCover.LabelCover.Query.slotPermutation_apply line 71
  9. def OAI.VertexCover.LabelCover.profileVertexEquiv line 78
  10. def OAI.VertexCover.LabelCover.profileGraph line 83
  11. def OAI.VertexCover.LabelCover.profileGraphIso line 85