OAI/Computability/VertexCover/Machines/NumberedGraph.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.VertexCover.ExplicitGraph.numbered line 43
2. theorem OAI.VertexCover.ExplicitGraph.numbered_n line 51
3. theorem OAI.VertexCover.ExplicitGraph.numbered_mem_edges line 52
4. theorem OAI.VertexCover.ExplicitGraph.numbered_cover_iff line 59
5. theorem OAI.VertexCover.ExplicitGraph.numbered_complete line 69
6. theorem OAI.VertexCover.ExplicitGraph.numbered_sound line 87