OAI/Probability/Ballisticity/Estimates/SignedPrefixComparison.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DirectionalTransience.prefixVariation_signed_integral_bound line 16
2. lemma OAI.DirectionalTransience.centeredFirstHit_on_hitWord line 47
3. lemma OAI.DirectionalTransience.centeredPairTest_prefix_comparison line 59
4. lemma OAI.DirectionalTransience.centeredFirstHit_integral_recenter line 100
5. lemma OAI.DirectionalTransience.independent_centered_test_limit line 123
6. lemma OAI.DirectionalTransience.independent_centered_clip_product_limit line 163