OAI/Geometry/TranslativeCovering/PoissonCells.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PoissonCells.atom line 62
2. lemma OAI.PoissonCells.atom_measurable line 65
3. lemma OAI.PoissonCells.atom_disjoint line 80
4. lemma OAI.PoissonCells.atom_cover line 89
5. lemma OAI.PoissonCells.atom_respects line 96
6. lemma OAI.PoissonCells.exists_small_cover line 112
7. lemma OAI.PoissonCells.exists_fine_partition line 143