OAI/Probability/Renewal/Annuli.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HoneycombLocal.annulus line 10
2. structure OAI.HoneycombLocal.AnnulusData line 12
3. lemma OAI.HoneycombLocal.annulusData_exists line 29
4. lemma OAI.HoneycombLocal.tilt_zero line 87