OAI/Geometry/TranslativeCovering/PoissonLimit.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PoissonLimit.exists_partition_sequence line 65
2. theorem OAI.PoissonLimit.lower_tail line 90