OAI/Probability/Ballisticity/Estimates/ClippedAbsThreeHalves.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.DirectionalTransience.clippedAbsThreeHalves line 273
2. lemma OAI.DirectionalTransience.clippedAbsThreeHalves_apply line 276
3. lemma OAI.DirectionalTransience.clippedAbsThreeHalves_uniformContinuous line 282
4. theorem OAI.DirectionalTransience.shared_clipped_observation_transfer line 285
5. lemma OAI.DirectionalTransience.uniform_good_of_gaussian_sequences line 307
6. theorem OAI.DirectionalTransience.independent_uniform_good_clipped_drift line 347
7. lemma OAI.DirectionalTransience.bounded_integral_event_comparison line 373
8. lemma OAI.DirectionalTransience.prefixVariation_integral_bound line 403