OAI/Geometry/TranslativeCovering/PoissonFinite.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.PoissonFinite.Assignment line 62
  2. def OAI.PoissonFinite.valid line 64
  3. def OAI.PoissonFinite.validAssignments line 67
  4. def OAI.PoissonFinite.assignmentSupport line 70
  5. lemma OAI.PoissonFinite.assignment_mean line 72
  6. lemma OAI.PoissonFinite.assignment_depSum line 86
  7. lemma OAI.PoissonFinite.witness_of_cell_occupation line 136
  8. theorem OAI.PoissonFinite.finite_cell_bound line 157