OAI/Computability/VertexCover/Analysis/SeedEnergyBudget.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.VertexCover.LabelCover.starKeyFintype line 41
2. theorem OAI.VertexCover.LabelCover.starMean_eq_fiberAverage line 45
3. theorem OAI.VertexCover.LabelCover.star_residual_orthogonal line 59
4. theorem OAI.VertexCover.LabelCover.star_residual_le_retained line 68
5. def OAI.VertexCover.LabelCover.seedMean line 83
6. theorem OAI.VertexCover.LabelCover.seed_residual_abs_le line 89
7. theorem OAI.VertexCover.LabelCover.seedMean_continuous line 108
8. theorem OAI.VertexCover.LabelCover.seed_residual_integral_le line 116
9. theorem OAI.VertexCover.LabelCover.seed_energy_budget line 133