OAI/Probability/Ballisticity/Estimates/UpperPairPatch.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.DirectionalTransience.upperPairNeighborhood line 15
2. lemma OAI.DirectionalTransience.upperPairNeighborhood_finite line 19
3. def OAI.DirectionalTransience.upperPairPatch line 23
4. lemma OAI.DirectionalTransience.upperPairPatch_measurable line 27
5. lemma OAI.DirectionalTransience.upperPairPatch_elliptic line 40
6. lemma OAI.DirectionalTransience.rawPairEndpointLaw_upper_patch_locality line 48