OAI/Combinatorics/SparsestCut/LatticeDensity.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.UniformSparsestCut.LatticeDensity.cell_bound line 12
2. lemma OAI.UniformSparsestCut.LatticeDensity.lattice_intervals_disjoint line 36
3. lemma OAI.UniformSparsestCut.LatticeDensity.lattice_bound line 52
4. lemma OAI.UniformSparsestCut.LatticeDensity.affine_integral line 87
5. lemma OAI.UniformSparsestCut.LatticeDensity.affine_integrable line 91
6. lemma OAI.UniformSparsestCut.LatticeDensity.affine_lattice_bound line 95