OAI/Computability/VertexCover/Analysis/CanonicalGradientValid.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VertexCover.LabelCover.separator_continuous line 43
2. def OAI.VertexCover.LabelCover.batchFunction line 49
3. theorem OAI.VertexCover.LabelCover.batchFunction_continuous line 54
4. theorem OAI.VertexCover.LabelCover.batchFunction_hasFDerivAt line 61
5. def OAI.VertexCover.LabelCover.BatchGradientValid line 86
6. theorem OAI.VertexCover.LabelCover.signed_incidence_mem line 90
7. theorem OAI.VertexCover.LabelCover.neg_signed_incidence_mem line 98
8. theorem OAI.VertexCover.LabelCover.batchGradient_affineSlope line 106
9. theorem OAI.VertexCover.LabelCover.batchGradient_half_difference_valid line 115
10. def OAI.VertexCover.LabelCover.canonicalGradient line 135
11. theorem OAI.VertexCover.LabelCover.canonicalGradient_valid line 144