OAI/Computability/VertexCover/Analysis/WeightEnergyBudget.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VertexCover.Cube.ae_cube line 41
2. def OAI.VertexCover.LabelCover.weightMean line 52
3. theorem OAI.VertexCover.LabelCover.weightMean_measurable line 58
4. theorem OAI.VertexCover.LabelCover.weight_residual_abs_le line 69
5. theorem OAI.VertexCover.LabelCover.weight_residual_integral_le line 102
6. theorem OAI.VertexCover.LabelCover.weight_energy_budget line 124