OAI/Probability/Renewal/Moments.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HoneycombLocal.polynomial_exp_deficit line 11
2. lemma OAI.HoneycombLocal.weighted_power_bound line 34
3. lemma OAI.HoneycombLocal.integrable_weighted_power line 49
4. lemma OAI.HoneycombLocal.weighted_moment_bound line 57
5. lemma OAI.HoneycombLocal.tilt_moment_integrable line 66
6. lemma OAI.HoneycombLocal.laplace_small line 74
7. lemma OAI.HoneycombLocal.tilt_moments_upper line 89