OAI/Computability/VertexCover/Analysis/BatchGradientForm.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.VertexCover.LabelCover.selectionForm line 41
2. theorem OAI.VertexCover.LabelCover.selectionForm_apply line 45
3. theorem OAI.VertexCover.LabelCover.compatibilityNorm_continuous line 50
4. theorem OAI.VertexCover.LabelCover.distanceTo_continuous line 57
5. abbrev OAI.VertexCover.LabelCover.BatchWeights line 65
6. def OAI.VertexCover.LabelCover.batchSum line 68
7. def OAI.VertexCover.LabelCover.batchSumCLM line 72
8. theorem OAI.VertexCover.LabelCover.batchSumCLM_apply line 87
9. def OAI.VertexCover.LabelCover.batchGradient line 91
10. theorem OAI.VertexCover.LabelCover.selectionForm_increment line 96
11. theorem OAI.VertexCover.LabelCover.batchGradient_form line 132