OAI/Probability/Ballisticity/Walk/KernelSections.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TailDecorrelation.sampled_kernel_sections line 12
2. lemma OAI.TailDecorrelation.kernel_density_sections line 41
3. lemma OAI.DirectionalTransience.cut_neighborhoods_escape line 77
4. theorem OAI.DirectionalTransience.actual_kernel_tail_decorrelation line 98