OAI/Geometry/TranslativeCovering/PoissonMeasureCells.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.PoissonMeasureCells.Partition line 36
2. def OAI.PoissonMeasureCells.Respects line 43
3. lemma OAI.PoissonMeasureCells.respects_inter line 47
4. lemma OAI.PoissonMeasureCells.mass_eq_sum line 57
5. def OAI.PoissonMeasureCells.Q line 76
6. lemma OAI.PoissonMeasureCells.collision_error line 80