OAI/Probability/Ballisticity/Walk/PreBrownianGridMartingale.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DirectionalTransience.preBrownian_grid_martingale line 294
2. lemma OAI.DirectionalTransience.preBrownian_grid_abs_maximal line 323
3. lemma OAI.DirectionalTransience.preBrownian_finite_abs_maximal line 337
4. lemma OAI.DirectionalTransience.preBrownian_countable_abs_maximal line 371
5. lemma OAI.DirectionalTransience.preBrownian_continuous_abs_gt_maximal line 412
6. lemma OAI.DirectionalTransience.preBrownian_continuous_abs_maximal line 431