OAI/Probability/Ballisticity/Stationary/EpisodeExponential.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.DirectionalTransience.stagePotential line 14
2. lemma OAI.DirectionalTransience.stagePotential_succ_le line 17
3. lemma OAI.DirectionalTransience.stage_exponential_factor line 34
4. lemma OAI.DirectionalTransience.stagePotential_set_step line 47
5. lemma OAI.DirectionalTransience.EpisodeRecordedAtlas.integral_partition line 86
6. lemma OAI.DirectionalTransience.EpisodeRecordedAtlas.potential_advance line 98