OAI/Probability/Ballisticity/Estimates/ClippedThreeHalves.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.DirectionalTransience.independent_firstHit_endpoint_limit line 267
2. def OAI.DirectionalTransience.clippedThreeHalves line 313
3. lemma OAI.DirectionalTransience.weak_clipped_three_halves_integral line 326
4. theorem OAI.DirectionalTransience.independent_firstHit_clipped_drift line 337