OAI/Probability/Ballisticity/Stationary/ArrayMarkedIterate.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DirectionalTransience.markedShift_iterate_fst line 12
2. lemma OAI.DirectionalTransience.arrayOffset_iterate line 21
3. lemma OAI.DirectionalTransience.arrayProfile_iterate line 32
4. lemma OAI.DirectionalTransience.marked_related_iterate line 43
5. def OAI.DirectionalTransience.markedDisplacement line 57
6. lemma OAI.DirectionalTransience.markedDisplacement_spec line 60
7. lemma OAI.DirectionalTransience.StationaryArrayLaw.marked_related line 69