OAI/Combinatorics/SparsestCut/VertexMeasure.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.UniformSparsestCut.VertexMeasure.cube_measurable line 21
2. lemma OAI.UniformSparsestCut.VertexMeasure.regular_measurable line 26
3. lemma OAI.UniformSparsestCut.VertexMeasure.integer_measurable line 33
4. def OAI.UniformSparsestCut.VertexMeasure.label line 38
5. lemma OAI.UniformSparsestCut.VertexMeasure.label_measurable line 41
6. lemma OAI.UniformSparsestCut.VertexMeasure.ae_good line 53
7. lemma OAI.UniformSparsestCut.VertexMeasure.vertex_nonempty line 57
8. def OAI.UniformSparsestCut.VertexMeasure.measure line 61
9. instance OAI.UniformSparsestCut.VertexMeasure.probability line 63
10. lemma OAI.UniformSparsestCut.VertexMeasure.finite_weights line 67
11. lemma OAI.UniformSparsestCut.VertexMeasure.pair_average line 71