OAI/Probability/Ballisticity/Geometry/MedianTubeFailure.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.DirectionalTransience.MedianTubeFailure line 172
2. lemma OAI.DirectionalTransience.measurableSet_medianTubeFailure line 176
3. lemma OAI.DirectionalTransience.two_centers_close_of_tails line 183
4. theorem OAI.DirectionalTransience.median_shift_eventually line 222