OAI/Computability/VertexCover/Machines/DescriptorMath.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.VertexCover.LabelCover.TracePos line 45
  2. abbrev OAI.VertexCover.LabelCover.ProfileRep line 46
  3. abbrev OAI.VertexCover.LabelCover.TraceWeights line 47
  4. abbrev OAI.VertexCover.LabelCover.Descriptor line 48
  5. abbrev OAI.VertexCover.LabelCover.Descriptor.Rep line 53
  6. def OAI.VertexCover.LabelCover.Descriptor.slot line 54
  7. def OAI.VertexCover.LabelCover.Descriptor.term line 57
  8. def OAI.VertexCover.LabelCover.Descriptor.Good line 61
  9. def OAI.VertexCover.LabelCover.Descriptor.test line 64
  10. def OAI.VertexCover.LabelCover.diagram line 70
  11. def OAI.VertexCover.LabelCover.diagramCoordinate line 73
  12. def OAI.VertexCover.LabelCover.diagramSum line 76
  13. theorem OAI.VertexCover.LabelCover.diagram_coordinate_encode line 78
  14. theorem OAI.VertexCover.LabelCover.diagram_slot line 81
  15. theorem OAI.VertexCover.LabelCover.diagram_term line 85
  16. theorem OAI.VertexCover.LabelCover.diagram_good line 104
  17. theorem OAI.VertexCover.LabelCover.diagram_test line 138