OAI/Probability/Ballisticity/Estimates/WeightedTestPerturbation.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DirectionalTransience.weighted_test_perturbation line 14
2. lemma OAI.DirectionalTransience.weighted_centered_test_transfer line 68
3. lemma OAI.DirectionalTransience.measurable_centeredFirstHit_variable_start line 105
4. lemma OAI.DirectionalTransience.measurable_boundary_terminal_side line 112
5. lemma OAI.DirectionalTransience.measurable_boundary_centeredFirstHit line 117
6. theorem OAI.DirectionalTransience.shared_deterministic_increment_decorrelation line 131