OAI/Computability/VertexCover/Reduction/SeparatorContinuousSumOdd.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VertexCover.LabelCover.norm_sum_le line 40
2. theorem OAI.VertexCover.LabelCover.increment_sub line 52
3. def OAI.VertexCover.LabelCover.continuousSum line 62
4. theorem OAI.VertexCover.LabelCover.sumVector_eq_continuousSum line 66
5. theorem OAI.VertexCover.LabelCover.continuousSum_neg line 69
6. theorem OAI.VertexCover.LabelCover.continuousSum_sub_same_seed line 82
7. theorem OAI.VertexCover.LabelCover.continuousSum_close line 87
8. def OAI.VertexCover.LabelCover.InWeightCube line 101
9. theorem OAI.VertexCover.LabelCover.continuousSum_change_blocks line 105
10. theorem OAI.VertexCover.LabelCover.separator_continuousSum_odd line 133