OAI/Computability/VertexCover/Machines/ListGrowing.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.VertexCover.Machine.Poly.foldGrowing line 43
  2. theorem OAI.VertexCover.Machine.foldl_or_any line 67
  3. def OAI.VertexCover.Machine.Poly.listAny' line 73
  4. def OAI.VertexCover.Machine.Poly.listContains line 78
  5. def OAI.VertexCover.Machine.Dedup.step line 88
  6. theorem OAI.VertexCover.Machine.Dedup.fold line 90
  7. def OAI.VertexCover.Machine.Dedup.poly line 100
  8. def OAI.VertexCover.Machine.Poly.eraseDups line 108