OAI/Probability/Ballisticity/Estimates/SmallScaleTailMoment.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.DirectionalTransience.small_scale_tail_moment line 14
2. lemma OAI.DirectionalTransience.success_medianTube_curveIncrement line 103
3. lemma OAI.DirectionalTransience.curveGaussian_failure_le line 125