OAI/Computability/VertexCover/Analysis/GraphCompleteness.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VertexCover.finiteMean_equiv line 41
2. theorem OAI.VertexCover.finiteMean_product line 46
3. theorem OAI.VertexCover.finiteMean_product_fst line 52
4. def OAI.VertexCover.splitSelected line 57
5. theorem OAI.VertexCover.finiteMean_selected line 67
6. theorem OAI.VertexCover.finiteMean_truthValue line 76
7. theorem OAI.VertexCover.LabelCover.gridRational_real line 93
8. theorem OAI.VertexCover.LabelCover.honestSum_density line 99
9. theorem OAI.VertexCover.LabelCover.graph_completeness line 119
10. theorem OAI.VertexCover.LabelCover.graph_completeness_cover line 145