OAI/Computability/VertexCover/Reduction/PairEventMean.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.VertexCover.truthValue line 40
2. def OAI.VertexCover.finiteMean line 44
3. def OAI.VertexCover.updateSwap line 47
4. theorem OAI.VertexCover.sum_updates line 62
5. theorem OAI.VertexCover.finiteMean_le_of_fibers line 71
6. def OAI.VertexCover.LabelCover.internalPairs line 90
7. abbrev OAI.VertexCover.LabelCover.HiddenSeeds line 94
8. def OAI.VertexCover.LabelCover.spliceSeeds line 97
9. theorem OAI.VertexCover.LabelCover.spliceSeeds_update line 102
10. theorem OAI.VertexCover.LabelCover.pairEvent_mean_le line 119