OAI/Probability/Renewal/ScaledWindow.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HoneycombLocal.power_moment_ratio line 11
2. lemma OAI.HoneycombLocal.MomentData.mean_pos line 21
3. lemma OAI.HoneycombLocal.MomentData.ratio_bounds line 25
4. lemma OAI.HoneycombLocal.MomentData.center_bounds line 37
5. lemma OAI.HoneycombLocal.MomentData.sigma_window_bounds line 69
6. lemma OAI.HoneycombLocal.MomentData.centered_window line 113