OAI/Computability/VertexCover/Analysis/DistanceMinusSelect.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.VertexCover.LabelCover.affineSign line 40
2. theorem OAI.VertexCover.LabelCover.affineSign_true line 42
3. theorem OAI.VertexCover.LabelCover.affineSign_false line 43
4. theorem OAI.VertexCover.LabelCover.norm_select_affine line 45
5. abbrev OAI.VertexCover.LabelCover.AffineIndex line 60
6. def OAI.VertexCover.LabelCover.affineSlope line 63
7. def OAI.VertexCover.LabelCover.affineOffset line 68
8. theorem OAI.VertexCover.LabelCover.affine_value line 73
9. theorem OAI.VertexCover.LabelCover.distance_plus_select line 83
10. theorem OAI.VertexCover.LabelCover.distance_minus_select line 98