OAI/Combinatorics/SparsestCut/Logarithms.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.UniformSparsestCut.RateComparison.weight line 13
2. lemma OAI.UniformSparsestCut.RateComparison.weight_pos line 14
3. lemma OAI.UniformSparsestCut.RateComparison.logarithms line 19
4. lemma OAI.UniformSparsestCut.RateComparison.bound line 35
5. lemma OAI.UniformSparsestCut.RateComparison.gap_of_gl line 58