OAI/Probability/Ballisticity/Walk/KernelTranslation.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DirectionalTransience.hitKernel_translation line 13
2. lemma OAI.DirectionalTransience.strip_translation line 27
3. lemma OAI.DirectionalTransience.upper_translation line 33
4. lemma OAI.DirectionalTransience.variableHitKernel_translation line 39
5. lemma OAI.DirectionalTransience.horizontalProjection_add line 46
6. lemma OAI.DirectionalTransience.horizontalProjection_sub line 55
7. lemma OAI.DirectionalTransience.horizontalLift_add line 64
8. lemma OAI.DirectionalTransience.episodeSpliced_kernel line 69