OAI/Probability/Renewal/UniformLocal.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HoneycombLocal.sigma_polynomial_bound line 11
2. lemma OAI.HoneycombLocal.MomentData.third_ratio_small line 29
3. lemma OAI.HoneycombLocal.MomentData.variance_ge_const line 76
4. lemma OAI.HoneycombLocal.uniform_tilted_local line 84