OAI/Geometry/TranslativeCovering/PoissonRealization.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PoissonSample.measurable_injective line 19
2. lemma OAI.PoissonSample.ae_injective line 32
3. def OAI.PoissonSample.simplify line 55
4. lemma OAI.PoissonSample.measurable_simplify line 59
5. lemma OAI.PoissonSample.sample_ae_simple line 71
6. def OAI.PoissonSample.simpleSample line 80
7. instance OAI.PoissonSample.simpleSample_probability line 83
8. lemma OAI.PoissonSample.simpleSample_void line 87