OAI/Probability/Ballisticity/Stationary/EpisodeGlobalRetention.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.DirectionalTransience.episodeStageCount line 12
  2. theorem OAI.DirectionalTransience.episodeFinal_global_retained line 17
  3. lemma OAI.DirectionalTransience.rawTupleEndpointLaw_origin_mass line 46
  4. lemma OAI.DirectionalTransience.episode_survival_lower line 53
  5. theorem OAI.DirectionalTransience.episodeFinal_global_retained_local line 77
  6. lemma OAI.DirectionalTransience.episode_survival_lower_local line 106
  7. lemma OAI.DirectionalTransience.coordinate_survival_lower line 131
  8. lemma OAI.DirectionalTransience.episode_log_algebra line 142
  9. theorem OAI.DirectionalTransience.episode_log_bound line 164