OAI/Computability/VertexCover/Analysis/StarMeanContinuous.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VertexCover.finiteMean_sub line 41
2. theorem OAI.VertexCover.finiteMean_abs_le line 45
3. def OAI.VertexCover.LabelCover.StarKey line 56
4. def OAI.VertexCover.LabelCover.starKey line 59
5. def OAI.VertexCover.LabelCover.starFiber line 66
6. theorem OAI.VertexCover.LabelCover.mem_starFiber line 71
7. theorem OAI.VertexCover.LabelCover.self_mem_starFiber line 76
8. theorem OAI.VertexCover.LabelCover.starKey_eq_questions line 79
9. def OAI.VertexCover.LabelCover.starMean line 91
10. theorem OAI.VertexCover.LabelCover.star_residual_abs_le line 97
11. theorem OAI.VertexCover.LabelCover.starMean_continuous line 124