OAI/Computability/VertexCover/Machines/ListMore.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.VertexCover.Machine.Poly.outputPolynomial line 43
  2. theorem OAI.VertexCover.Machine.Poly.output_length line 47
  3. theorem OAI.VertexCover.Machine.listBits_member_length line 52
  4. theorem OAI.VertexCover.Machine.foldl_cons_eq_reverse_append line 63
  5. def OAI.VertexCover.Machine.Poly.reverseAppend line 69
  6. def OAI.VertexCover.Machine.Poly.listReverse line 87
  7. def OAI.VertexCover.Machine.Poly.listAppend line 92
  8. theorem OAI.VertexCover.Machine.listBits_map_bound line 100
  9. theorem OAI.VertexCover.Machine.foldl_map_cons line 111
  10. def OAI.VertexCover.Machine.Poly.mapFold line 117
  11. def OAI.VertexCover.Machine.Poly.listMap line 157