OAI/Computability/VertexCover/Reduction/IncrementNorm.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.VertexCover.LabelCover.Query.localLabelLinearOrder line 42
  2. def OAI.VertexCover.LabelCover.Query.labels line 48
  3. theorem OAI.VertexCover.LabelCover.Query.mem_labels line 52
  4. theorem OAI.VertexCover.LabelCover.Query.labels_length line 56
  5. def OAI.VertexCover.LabelCover.Query.slot line 60
  6. theorem OAI.VertexCover.LabelCover.Query.slot_injective line 66
  7. abbrev OAI.VertexCover.LabelCover.WeightDimension line 73
  8. def OAI.VertexCover.LabelCover.increment line 75
  9. theorem OAI.VertexCover.LabelCover.increment_same line 80
  10. theorem OAI.VertexCover.LabelCover.increment_other line 85
  11. theorem OAI.VertexCover.LabelCover.increment_add line 90
  12. theorem OAI.VertexCover.LabelCover.increment_mul line 100
  13. theorem OAI.VertexCover.LabelCover.increment_norm_le line 110