OAI/Probability/Ballisticity/Entropy/AnchorEntropy.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.DirectionalTransience.StoppedWindow.parallel_lower_fst line 15
  2. theorem OAI.DirectionalTransience.StoppedWindow.parallel_lower_kl_le line 26
  3. def OAI.DirectionalTransience.currentStoppedProfile line 37
  4. instance OAI.DirectionalTransience.currentStoppedProfile_probability line 41
  5. lemma OAI.DirectionalTransience.currentStoppedProfile_measurable line 47
  6. lemma OAI.DirectionalTransience.currentStoppedProfile_observable line 54
  7. lemma OAI.DirectionalTransience.currentStoppedProfile_observation line 69
  8. def OAI.DirectionalTransience.currentAnchorKernel line 83
  9. instance OAI.DirectionalTransience.currentAnchorKernel_markov line 90
  10. lemma OAI.DirectionalTransience.currentAnchorKernel_observation line 97
  11. lemma OAI.DirectionalTransience.globalEpisodeAnchors_current line 109