OAI/Computability/VertexCover/Analysis/GraphComplete.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.VertexCover.ExplicitGraph.materialize line 43
2. theorem OAI.VertexCover.ExplicitGraph.materialize_n line 52
3. theorem OAI.VertexCover.ExplicitGraph.materialize_mem_edges line 55
4. theorem OAI.VertexCover.ExplicitGraph.coverNumber_le line 65
5. theorem OAI.VertexCover.ExplicitGraph.materialize_cover line 68
6. theorem OAI.VertexCover.ExplicitGraph.materialize_coverNumber_lt line 83
7. def OAI.VertexCover.LabelCover.explicitGraph line 98
8. theorem OAI.VertexCover.LabelCover.explicitGraph_vertices line 101
9. theorem OAI.VertexCover.LabelCover.explicitGraph_complete line 106