OAI/Combinatorics/SparsestCut/Replication.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.UniformSparsestCut.Replication.count line 14
2. def OAI.UniformSparsestCut.Replication.Copies line 15
3. instance OAI.UniformSparsestCut.Replication.(instance at line 16) line 16
4. def OAI.UniformSparsestCut.Replication.n line 17
5. def OAI.UniformSparsestCut.Replication.q line 18
6. lemma OAI.UniformSparsestCut.Replication.count_pos line 20
7. lemma OAI.UniformSparsestCut.Replication.n_sum line 21
8. lemma OAI.UniformSparsestCut.Replication.count_error line 25
9. lemma OAI.UniformSparsestCut.Replication.n_bounds line 32
10. lemma OAI.UniformSparsestCut.Replication.q_nonneg line 45
11. lemma OAI.UniformSparsestCut.Replication.q_sum line 46
12. lemma OAI.UniformSparsestCut.Replication.q_l1_bound line 49
13. lemma OAI.UniformSparsestCut.Replication.product_expectation_bound line 77
14. def OAI.UniformSparsestCut.Replication.rep line 107
15. def OAI.UniformSparsestCut.Replication.representative line 108
16. lemma OAI.UniformSparsestCut.Replication.rep_section line 110
17. lemma OAI.UniformSparsestCut.Replication.sum_rep line 113
18. lemma OAI.UniformSparsestCut.Replication.ordered_sum line 125
19. lemma OAI.UniformSparsestCut.Replication.collapse line 142
20. lemma OAI.UniformSparsestCut.Replication.descend_contraction line 151
21. lemma OAI.UniformSparsestCut.Replication.expectation_error line 157