OAI/Computability/VertexCover/Machines/Primitives.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.VertexCover.Machine.Poly.realizes line 43
  2. def OAI.VertexCover.Machine.Poly.congr line 52
  3. def OAI.VertexCover.Machine.Poly.encodeCongr line 59
  4. abbrev OAI.VertexCover.Machine.prodBits line 68
  5. def OAI.VertexCover.Machine.Poly.identity line 71
  6. def OAI.VertexCover.Machine.Poly.const line 80
  7. def OAI.VertexCover.Machine.Project.trans line 92
  8. theorem OAI.VertexCover.Machine.Project.bound line 97
  9. theorem OAI.VertexCover.Machine.Project.tail line 101
  10. theorem OAI.VertexCover.Machine.Project.framed line 107
  11. def OAI.VertexCover.Machine.Poly.fst line 118
  12. def OAI.VertexCover.Machine.Poly.snd line 125
  13. def OAI.VertexCover.Machine.Poly.append line 132
  14. def OAI.VertexCover.Machine.Poly.cons line 137
  15. def OAI.VertexCover.Machine.Poly.tail line 151
  16. abbrev OAI.VertexCover.Machine.boolBits line 164
  17. def OAI.VertexCover.Machine.Poly.isEmpty line 166
  18. def OAI.VertexCover.Machine.Poly.headD line 176