OAI/Computability/VertexCover/Analysis/SeparatorBoundCube.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VertexCover.LabelCover.query_splice_outside line 42
2. def OAI.VertexCover.LabelCover.spliceWeights line 56
3. def OAI.VertexCover.LabelCover.outsideSum line 62
4. theorem OAI.VertexCover.LabelCover.continuousSum_splice line 66
5. theorem OAI.VertexCover.LabelCover.batchFunction_is_restriction line 85
6. theorem OAI.VertexCover.LabelCover.separator_bound_on_cube line 95