OAI/Probability/Ballisticity/Walk/PathWindowTest.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.DirectionalTransience.pathWindowEvent line 15
2. lemma OAI.DirectionalTransience.isOpen_pathWindowEvent line 18
3. lemma OAI.DirectionalTransience.pathWindowEvent_compl_nonempty line 23
4. lemma OAI.DirectionalTransience.endpoint_window_covered line 31
5. theorem OAI.DirectionalTransience.positive_path_window_test line 54
6. lemma OAI.DirectionalTransience.gaussianReal_centered_window_pos line 89
7. theorem OAI.DirectionalTransience.brownian_positive_common_time_window line 104