OAI/Probability/Ballisticity/Estimates/SharedEndpointTests.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.DirectionalTransience.centeredFirstHit line 14
2. lemma OAI.DirectionalTransience.measurable_centeredFirstHit line 18
3. theorem OAI.DirectionalTransience.shared_endpoint_tests_uniform line 24
4. lemma OAI.DirectionalTransience.bounded_normal_test_mean line 101
5. lemma OAI.DirectionalTransience.shared_boundary_endpoint_decorrelation line 106